1 files changed, 33 insertions, 0 deletions
diff --git a/tests/ui/borrowck/issue-54499-field-mutation-of-never-init.rs b/tests/ui/borrowck/issue-54499-field-mutation-of-never-init.rs
new file mode 100644
index 000000000..50d0c40fd
--- /dev/null
+++ b/tests/ui/borrowck/issue-54499-field-mutation-of-never-init.rs
@@ -0,0 +1,33 @@
+#![warn(unused)]
+#[derive(Debug)]
+struct S(i32);
+
+type Tuple = (S, i32);
+struct Tpair(S, i32);
+struct Spair { x: S, y: i32 }
+
+fn main() {
+    {
+        let t: Tuple;
+        t.0 = S(1);
+        //~^ ERROR E0381
+        t.1 = 2;
+        println!("{:?} {:?}", t.0, t.1);
+    }
+
+    {
+        let u: Tpair;
+        u.0 = S(1);
+        //~^ ERROR E0381
+        u.1 = 2;
+        println!("{:?} {:?}", u.0, u.1);
+    }
+
+    {
+        let v: Spair;
+        v.x = S(1);
+        //~^ ERROR E0381
+        v.y = 2;
+        println!("{:?} {:?}", v.x, v.y);
+    }
+}