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

R>Ну вообще, написано, что неиспользуемая ветка должна быть отброшена (discarded):

Как бы да, но по факту — нет.

Хотя я гоняю на Apple clang version 14.0.0 (clang-1400.0.29.202)
а эппловцы могли и чего-нибудь подломить, с них станется.

Попробую придумать совсем дистиллированный пример и погонять на годболте. Позже.

И ещё меня неприятно удивило поведение requires. Вот этому — есть хоть какое-то здравое объяснение?