try to structurally resolve before try_resolve_slice_ty_to_array_ty

rust-lang · Jul 17, 2023 · 96af415 · 96af415
1 parent 65f92a5
commit 96af415
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/compiler/rustc_hir_typeck/src/pat.rs b/compiler/rustc_hir_typeck/src/pat.rs
@@ -2114,6 +2114,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
         expected: Ty<'tcx>,
         pat_info: PatInfo<'tcx, '_>,
     ) -> Ty<'tcx> {
+        let expected = self.try_structurally_resolve_type(span, expected);
+
         // If the pattern is irrefutable and `expected` is an infer ty, we try to equate it
         // to an array if the given pattern allows it. See issue #76342
         if self.pat_is_irrefutable(pat_info.decl_origin) && expected.is_ty_var() {