Nadrieril
|
3d7c4df326
|
Abstract MatchCheckCtxt into a trait
|
2023-12-15 16:58:36 +01:00 |
|
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
|
5d6c539c2d
|
Fix item visibilities
|
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 |
|