about summary refs log tree commit diff
path: root/tests/ui/borrowck/borrowck-uninit-in-assignop.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/borrowck/borrowck-uninit-in-assignop.rs')
-rw-r--r--tests/ui/borrowck/borrowck-uninit-in-assignop.rs34
1 files changed, 34 insertions, 0 deletions
diff --git a/tests/ui/borrowck/borrowck-uninit-in-assignop.rs b/tests/ui/borrowck/borrowck-uninit-in-assignop.rs
new file mode 100644
index 00000000000..92c3692bd2f
--- /dev/null
+++ b/tests/ui/borrowck/borrowck-uninit-in-assignop.rs
@@ -0,0 +1,34 @@
+// Tests that the use of uninitialized variable in assignment operator
+// expression is detected.
+
+pub fn main() {
+    let x: isize;
+    x += 1; //~ ERROR E0381
+
+    let x: isize;
+    x -= 1; //~ ERROR E0381
+
+    let x: isize;
+    x *= 1; //~ ERROR E0381
+
+    let x: isize;
+    x /= 1; //~ ERROR E0381
+
+    let x: isize;
+    x %= 1; //~ ERROR E0381
+
+    let x: isize;
+    x ^= 1; //~ ERROR E0381
+
+    let x: isize;
+    x &= 1; //~ ERROR E0381
+
+    let x: isize;
+    x |= 1; //~ ERROR E0381
+
+    let x: isize;
+    x <<= 1; //~ ERROR E0381
+
+    let x: isize;
+    x >>= 1; //~ ERROR E0381
+}