4 Commits

Author	SHA1	Message	Date
Nadrieril	64ac2b8082	Explain why a given pattern is considered unreachable	2024-07-24 08:02:55 +02:00
Nadrieril	34307ab7c5	Reveal empty opaques in depth	2023-12-23 14:59:12 +01:00
Nadrieril	2a87bae48d	Reveal opaque types in exhaustiveness checking	2023-12-20 14:43:00 +01:00
Nadrieril	7e4924b55d	Add tests	2023-12-20 14:43:00 +01:00