Сопрограмма Final_suspend: это неопределенное поведение?

Мой вопрос касается отрывка в cppreference, который меня сбивает с толку:

Если сопрограмма завершается неперехваченным исключением, она выполняет следующее:

• перехватывает исключение и вызывает Promise.unhandled_Exceptionion() из блока catch
• вызывает обещание.final_suspend() и co_awaits результата (например, чтобы возобновить продолжение или опубликовать результат). Возобновление сопрограммы с этого момента является неопределенным поведением.

(см. https://en.cppreference.com/w/cpp/language/coroutines)

Меня смущает второй пункт. Они говорят, что Final_suspend предназначен для выполнения продолжений, но затем они говорят, что возобновление сопрограммы «с этой точки» является неопределенным поведением. Это кажется почти противоречивым. Что именно здесь означает неопределенное поведение? Я могу представить 3 сценария:

1. Является ли неопределённым поведением прямой или косвенный вызов resume на coroutine_handle в теле final_suspend?
2. Является ли неопределенным поведением прямое или косвенное возобновление coroutine_handle из тела await_suspend последнего ожидания?
3. Является ли неопределенным поведение возврат coroutine_handle из await_suspend последнего ожидания?

Если одно или все из этих действий являются неопределенными, верно ли это также для final_suspend после return_void или return_value или только после unhandled_exception?

(Я создал пример кода для сценария 3 на godbolt. Для этого вопроса это не обязательно, но может быть полезно. Вызывает ли моя обработка исключений и продолжений неопределенное поведение в этом примере?)