Nadrieril 59031429c5 Separate PlaceCtxt from UsefulnessCtxt

2024-01-30 17:07:06 +01:00

..

constructor.rs

Make PatternColumn part of the public API

2024-01-30 17:06:52 +01:00

errors.rs

s/RustcCtxt/RustcMatchCheckCtxt/

2023-12-15 16:58:38 +01:00

lib.rs

Make PatternColumn part of the public API

2024-01-30 17:06:52 +01:00

lints.rs

Make PatternColumn part of the public API

2024-01-30 17:06:52 +01:00

pat_column.rs

Make PatternColumn part of the public API

2024-01-30 17:06:52 +01:00

pat.rs

Limit the use of PlaceCtxt

2024-01-30 17:06:30 +01:00

rustc.rs

Limit the use of PlaceCtxt

2024-01-30 17:06:30 +01:00

usefulness.rs

Separate PlaceCtxt from UsefulnessCtxt

2024-01-30 17:07:06 +01:00