5 commits

Author	SHA1	Message	Date
Nadrieril	43714edb6f	Fix doc links	2023-12-11 12:53:01 +01:00
Nadrieril	5d6c539c2d	Fix item visibilities	2023-12-11 11:20:55 +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
Nadrieril	281002d42c	Extract exhaustiveness into its own crate	2023-12-11 11:20:55 +01:00

Renamed from compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs (Browse further)