bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #122644 - Nadrieril:complexity-tests, r=compiler-errors

Browse source 
pattern analysis: add a custom test harness

There are two features of the pattern analysis code that are hard to test: the newly-added pattern complexity limit, and the computation of arm intersections. This PR adds some crate-specific tests for that, including an unmaintainable but pretty macro to help construct patterns.

r? `````@compiler-errors`````
This commit is contained in:
Matthias Krüger 2024-03-21 17:46:48 +01:00 • committed by GitHub
commit 8d12621181
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
11 changed files with 692 additions and 80 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_pattern_analysis/src/rustc.rs
View file

@ -880,13 +880,14 @@ impl<'p, 'tcx: 'p> PatCx for RustcPatCtxt<'p, 'tcx> {
fn write_variant_name(
f: &mut fmt::Formatter<'_>,
pat: &crate::pat::DeconstructedPat<Self>,
ctor: &crate::constructor::Constructor<Self>,
ty: &Self::Ty,
) -> fmt::Result {
if let ty::Adt(adt, _) = pat.ty().kind() {
if let ty::Adt(adt, _) = ty.kind() {
if adt.is_box() {
write!(f, "Box")?
} else {
let variant = adt.variant(Self::variant_index_for_adt(pat.ctor(), *adt));
let variant = adt.variant(Self::variant_index_for_adt(ctor, *adt));
write!(f, "{}", variant.name)?;
}
}