Lukas Markeffsky c097b2c6bb transmutability: fix ICE when passing wrong ADT to ASSUME		2025-02-08 05:44:29 +01:00
..
layout	Add TooGeneric variant to LayoutError and emit Unknown one	2025-01-27 00:37:34 +01:00
maybe_transmutable	use TypingEnv when no infcx is available	2024-11-18 10:38:56 +01:00
lib.rs	transmutability: fix ICE when passing wrong ADT to ASSUME	2025-02-08 05:44:29 +01:00