3 commits

Author	SHA1	Message	Date
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