5 commits

Author	SHA1	Message	Date
Nadrieril	3ad76f9325	Disentangle the arena from MatchCheckCtxt	2023-12-15 16:57:36 +01:00
Nadrieril	081c3dcf43	Remove all matching on ty.kind() outside cx	2023-12-15 16:57:36 +01:00
Nadrieril	b111b2e839	Split Single ctor into more specific variants	2023-12-15 16:57:36 +01:00
Nadrieril	de3f983bcd	Make MaybeInfiniteInt rustc-independent	2023-12-11 11:20:55 +01:00
Nadrieril	3691a0aee5	Gather rustc-specific functions around MatchCheckCtxt	2023-12-11 11:20:55 +01:00