The type after pattern adjustments is stored in the last adjustment, not the first

Author: ChayimFriedman2

src/tools/rust-analyzer/crates/hir-ty/src/infer/pat.rs

@@ -416,7 +416,7 @@ impl<'db> InferenceContext<'_, 'db> {
             .result
             .pat_adjustments
             .get(&pat)
-            .and_then(|it| it.first())
+            .and_then(|it| it.last())
             .unwrap_or(&self.result.type_of_pat[pat])
     }
 

src/tools/rust-analyzer/crates/hir-ty/src/tests/patterns.rs

@@ -1259,3 +1259,22 @@ fn main() {
             "#,
     );
 }
+
+#[test]
+fn destructuring_assign_ref() {
+    check_no_mismatches(
+        r#"
+struct Foo;
+
+fn foo() -> (&'static Foo, u32) {
+    (&Foo, 0)
+}
+
+fn bar() {
+    let ext: &Foo;
+    let v;
+    (ext, v) = foo();
+}
+    "#,
+    );
+}