Здравствуйте, sergii.p, Вы писали:

SP>я считал очевидным вернуть Type::unknown.
SP>но это ломает оптимизацию и добавляет лишние 3 инструкции
Как я понимаю, это потому что числа отличаются. Если unknown переместить вниз, то асм вообще упрощается. Вот так надо оптимизировать, а не через UB.