[Idea/Pre-Pre-RFC] Additional exhaustiveness checking

language design

mhaeuser February 4, 2026, 10:59pm 3

@dlight This? Doubly-exhaustive match statement

3 Likes

Topic		Replies	Views	Activity
Doubly-exhaustive match statement language design	24	1084	November 25, 2025
Vibe check: equality patterns	32	1251	October 31, 2024
Better integral matching	4	1238	June 20, 2018
Pre-RFC: Improved pattern matching (non-discrete types, bit-limited inputs) language design	1	1509	February 15, 2016
Idea: ! and non-exhaustive enums	10	1742	August 22, 2018