summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrowck-uninit-ref-chain.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/borrowck-uninit-ref-chain.rs')
-rw-r--r--src/test/ui/borrowck/borrowck-uninit-ref-chain.rs33
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;
+}