>Спецификация бесполезна если там куча оговорок

Пруфай.

>в стиле "а хз как делать, пусть реализующий компилятор разбираются"

Ложь. Не "хз как делать", а "разработчики компиляторов лучше знают, как им и их юзерам надо".

>А ведь еще есть всеми любимые UB))

Тоже ложь, на самом деле "раскручиваемое сторонниками некоторых смузихлёбных ЯПов как нечто ужасное и недопустимое UB".

>Можно конечно возразить "Вот та фигня никому нафиг не нужна!". Но что же это за стандарт такой??

Где противоречие, если вся остальная часть, кроме каких-то минорных и не нужных фич - реализована?

>А тут есть референсная реализация.

Эта та, у которой "combination of variance and implied bounds for nested references opens a hole in the current type system"? (см. issue #25860. Через два месяца ей 9 лет исполнится, кстати) С такими "референсами" действительно и спецификации не нужны. Чтобы психику разработчиков не травмировать.