у шланга можно попробовать включить оптимизационные репорты

Но это не он, gcc 8.3, я подампил там чего то, пока только понял что это кажись не ipa

а, тебя на конкретном компиляторе интересует. Прошу прощения. Как такое делается в GCC - я не знаю

Ох, так я и не выяснил почему может пропадать оптимизация strlen для string_view параметров... Магия какая-то, иногда доставляешь в .cpp функцию X, оптимизация в функции Y пропадает (функции независимы вообще). Иногда наоборот, пропадает после удаления какой-то функции (тоже ноль зависимостей). И это ещё не всё, в функцию которую мониторил вставил пару вызовов с передачей литералов в sv параметрах, оптимизация пропадает то в одном вызове, то в другом, то в обоих, как кости лягут...

Потому что оптимизации у вас недокументированные

У нас это у тех кто gcc использует?

Процесс трансляции плюсов в машинку неуправляем напрямую

> Или более сложный пример – корутины, по сути, тоже монады, просто другая их форма, предназначенная для другой цели

@oficsu, а я правильно понял, что речь на самом деле шла об awaitable, а не самих корутинах?

Знающие скалу могут подтвердить, что Future это монада, но можно облажаться и кое-что нарушится. Кажется налажать так можно и в плюсах.