Может ли функция noexcept по-прежнему вызывать функцию, которая выдает C ++ 17?

ВP0012R1, "Сделать спецификации исключений частью системы типов»,
я вижу этоnoexcept теперь становится частью типа функции.

Я не могу сказать, помешает ли этоnoexcept(true) функции по-прежнему в состоянии вызватьnoexcept(false) функции.

Будет ли следующий код все еще действительным для C ++ 17?

void will_throw() noexcept(false){
  throw 0;
}

void will_not_throw() noexcept(true){
  will_throw();
}

Ответы на вопрос(1)

Ваш ответ на вопрос