diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2023-12-15 16:53:29 +0100 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2023-12-15 16:58:38 +0100 |
| commit | 4bcf66f875d77d0d5897c5b0b9d6bbd985d03a31 (patch) | |
| tree | 34cb871f1251205e9f51505a76de13f02859d9b3 /compiler/rustc_pattern_analysis/src/pat.rs | |
| parent | 60ea14bfaab32d2d1d5f956acfd08d72a2a79e1c (diff) | |
| download | rust-4bcf66f875d77d0d5897c5b0b9d6bbd985d03a31.tar.gz rust-4bcf66f875d77d0d5897c5b0b9d6bbd985d03a31.zip | |
Introduce `MatchCtxt`
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/pat.rs')
| -rw-r--r-- | compiler/rustc_pattern_analysis/src/pat.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_pattern_analysis/src/pat.rs b/compiler/rustc_pattern_analysis/src/pat.rs index 4ddd5eb630a..defe95d3393 100644 --- a/compiler/rustc_pattern_analysis/src/pat.rs +++ b/compiler/rustc_pattern_analysis/src/pat.rs @@ -81,10 +81,10 @@ impl<'p, Cx: MatchCx> DeconstructedPat<'p, Cx> { other_ctor: &Constructor<Cx>, ) -> SmallVec<[&'a DeconstructedPat<'p, Cx>; 2]> { let wildcard_sub_tys = || { - let tys = pcx.cx.ctor_sub_tys(other_ctor, pcx.ty); + let tys = pcx.ctor_sub_tys(other_ctor); tys.iter() .map(|ty| DeconstructedPat::wildcard(*ty, Cx::PatData::default())) - .map(|pat| pcx.wildcard_arena.alloc(pat) as &_) + .map(|pat| pcx.mcx.wildcard_arena.alloc(pat) as &_) .collect() }; match (&self.ctor, other_ctor) { @@ -179,7 +179,7 @@ impl<Cx: MatchCx> WitnessPat<Cx> { /// For example, if `ctor` is a `Constructor::Variant` for `Option::Some`, we get the pattern /// `Some(_)`. pub(crate) fn wild_from_ctor(pcx: &PlaceCtxt<'_, '_, Cx>, ctor: Constructor<Cx>) -> Self { - let field_tys = pcx.cx.ctor_sub_tys(&ctor, pcx.ty); + let field_tys = pcx.ctor_sub_tys(&ctor); let fields = field_tys.iter().map(|ty| Self::wildcard(*ty)).collect(); Self::new(ctor, fields, pcx.ty) } |
