7 Commits

Author	SHA1	Message	Date
Oli Scherer	cb4751d4b8	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
Nadrieril	5b7be148ea	Revert warning empty patterns as unreachable	2024-09-11 18:36:45 +02:00
Nadrieril	99468bb760	Update tests	2024-08-10 12:07:17 +02:00
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