Andrey

Another issue in section https://github.com/facebookexperimental/libunifex/blob/master/doc/overview.md#multiple-results > This forces coroutines to have to encapsulate multiple results in the It obviously missed some phrase ending, maybe "... `tuple`."?

> для филдов такой же баг как со списком инициализации в конструкторе не проходит, они by design не видят друг друга. Вообще-то могут видеть. ``` struct Point { int x,...

В отличие от override/final/module/import `requires` используется в тех местах, где может встречаться обычный идентификатор, поэтому его нельзя сделать контекстно-зависимым.

На всякий случай продублирую тут: если вставать на путь кастомизации выкидывания исключения, то логично обработать стандартные варианты `E` -- `std::error_code` и `std::exception_ptr`. ```cpp template struct on_error_policy { [[noreturn]] void operator()(E&&...

В С++ это не работает по 2-м причинам: 1. Нельзя брать адрес от временного объекта. 2. Аргументом cast-expression-а не может быть braced-init-list. Первый пункт, мне кажется, никто исправлять не захочет,...

> Сейчас дефолтные аргументы для функций вычисляются в месте объявления. Нет, они вычисляются в месте вызова, а резолвятся в месте объявления. Вы же предлагаете их резолвить в месте вызова. При...

> Я думаю, в C++ есть и другие примеры зависимости языка от собственной стандартной библиотеки, которые также стоит исправить, если будут найдены `type_info`, `nullptr_t`. Собственно, `type_info` был первым классом, использующимся...

[P1912](https://wg21.link/p1912): Types with array-like object representations

Нет, не забыли. Мотивацией для _using-declarator_-s была возможность использовать pack expansion (https://wg21.link/p0195), а вовсе не возможность сэкономить 5 букв на написание слова `using`. Для _using-directive_-s такой мотивации нет.

Предлагаемый анализ будет выдавать false positive в таком случае: ```cpp void f(optional o) noexcept { if (o) o.value(); } ``` В данном случае из `noexcept` функции `f` безопасно звать `optional::value()`...