4 Commits

Author	SHA1	Message	Date
Nadrieril	8e83d0cd75	Prefer min_exhaustive_patterns in tests	2024-02-13 16:45:53 +01: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