rust/compiler/rustc_pattern_analysis/src
Trevor Gross 3f7d497c8a
Rollup merge of #144171 - Nadrieril:exhaustive-witnesses, r=davidtwco
pattern_analysis: add option to get a full set of witnesses

This adds an option to the rustc_pattern_analysis machinery to have it report a complete set of patterns when a match is non-exhaustive (by default we only guarantee to report _some_ missing patterns). This is for use in rust-analyzer.

Leaving as draft until I'm sure this is what r-a needs.

r? ghost
2025-07-26 01:15:04 -05:00
..
rustc compiler: Add rustc_abi dependence to the compiler 2024-10-27 21:10:58 -07:00
checks.rs always check for mixed deref pattern and normal constructors 2025-07-04 23:47:31 -07:00
constructor.rs pattern_analysis: add option to get a full set of witnesses 2025-07-20 18:27:30 +02:00
errors.rs error early when mixing deref patterns with normal constructors 2025-05-06 18:53:55 -07:00
lib.rs pattern_analysis: add option to get a full set of witnesses 2025-07-20 18:27:30 +02:00
lints.rs Remove LintExpectationId from Level variants 2025-04-03 09:22:21 +00:00
pat.rs Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
pat_column.rs Greatly simplify lifetime captures in edition 2024 2025-02-22 22:24:52 +00:00
rustc.rs Don't consider unstable fields always-inhabited 2025-07-20 18:23:18 +02:00
usefulness.rs List all the variants of non-exhaustive enums in exhaustive mode 2025-07-20 18:27:30 +02:00