Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 33 insertions, 0 deletions

diff --git a/src/test/ui/borrowck/borrowck-uninit-ref-chain.rs b/src/test/ui/borrowck/borrowck-uninit-ref-chain.rs
new file mode 100644
index 000000000..c36b9707d
--- /dev/null
+++ b/src/test/ui/borrowck/borrowck-uninit-ref-chain.rs
@@ -0,0 +1,33 @@
+struct S<X, Y> {
+    x: X,
+    y: Y,
+}
+
+fn main() {
+    let x: &&Box<i32>;
+    let _y = &**x; //~ ERROR [E0381]
+
+    let x: &&S<i32, i32>;
+    let _y = &**x; //~ ERROR [E0381]
+
+    let x: &&i32;
+    let _y = &**x; //~ ERROR [E0381]
+
+
+    let mut a: S<i32, i32>;
+    a.x = 0; //~ ERROR [E0381]
+    let _b = &a.x;
+
+    let mut a: S<&&i32, &&i32>;
+    a.x = &&0; //~ ERROR [E0381]
+    let _b = &**a.x;
+
+
+    let mut a: S<i32, i32>;
+    a.x = 0; //~ ERROR [E0381]
+    let _b = &a.y;
+
+    let mut a: S<&&i32, &&i32>;
+    a.x = &&0; //~ ERROR [E0381]
+    let _b = &**a.y;
+}