Новый RFC: шаблоны never

Открыт RFC о шаблонах типа ! — never patterns.

Суть

Шаблон ! никогда не сопоставляется, но позволяет компилятору выводить, что ветка недостижима. Это убирает необходимость писать мёртвые ветки при исчерпывающем сопоставлении с пустыми перечислениями.

Оригинал

RFC: Never patterns