Make destructuring a defining use

2 files changed, 20 insertions, 0 deletions

diff --git a/compiler/rustc_borrowck/src/type_check/mod.rs b/compiler/rustc_borrowck/src/type_check/mod.rs
index e139a73efc5..8e763a02af3 100644
--- a/compiler/rustc_borrowck/src/type_check/mod.rs
+++ b/compiler/rustc_borrowck/src/type_check/mod.rs
@@ -793,6 +793,14 @@ impl<'a, 'b, 'tcx> TypeVerifier<'a, 'b, 'tcx> {
             ProjectionElem::OpaqueCast(ty) => {
                 let ty = self.sanitize_type(place, ty);
                 let ty = self.cx.normalize(ty, location);
+                self.cx
+                    .eq_types(
+                        base.ty,
+                        ty,
+                        location.to_locations(),
+                        ConstraintCategory::TypeAnnotation,
+                    )
+                    .unwrap();
                 PlaceTy::from_ty(ty)
             }
         }
diff --git a/src/test/ui/type-alias-impl-trait/issue-96572-unconstrained-only-pattern.rs b/src/test/ui/type-alias-impl-trait/issue-96572-unconstrained-only-pattern.rs
new file mode 100644
index 00000000000..3f0445f5037
--- /dev/null
+++ b/src/test/ui/type-alias-impl-trait/issue-96572-unconstrained-only-pattern.rs
@@ -0,0 +1,12 @@
+#![feature(type_alias_impl_trait)]
+// check-pass
+
+type T = impl Copy;
+
+fn foo(foo: T) {
+    let (mut x, mut y) = foo;
+    x = 42;
+    y = "foo";
+}
+
+fn main() {}