about summary refs log tree commit diff
path: root/src/test/ui/recursion
diff options
context:
space:
mode:
authorMatthew Jasper <mjjasper1@gmail.com>2019-01-27 11:03:21 +0000
committerMatthew Jasper <mjjasper1@gmail.com>2019-05-12 18:46:43 +0100
commitff71b80a85185c5d0ce594c13efddcaca9be54c5 (patch)
tree6923a16bf6742b2a0d31f99311e6fc4cb1d71913 /src/test/ui/recursion
parent0df1e57991e34825697b1659732c0716e7508519 (diff)
downloadrust-ff71b80a85185c5d0ce594c13efddcaca9be54c5.tar.gz
rust-ff71b80a85185c5d0ce594c13efddcaca9be54c5.zip
Change compare mode to use -Zborrowck=mir
Diffstat (limited to 'src/test/ui/recursion')
-rw-r--r--src/test/ui/recursion/recursive-types-are-not-uninhabited.nll.stderr16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/recursion/recursive-types-are-not-uninhabited.nll.stderr b/src/test/ui/recursion/recursive-types-are-not-uninhabited.nll.stderr
new file mode 100644
index 00000000000..eee331d95b9
--- /dev/null
+++ b/src/test/ui/recursion/recursive-types-are-not-uninhabited.nll.stderr
@@ -0,0 +1,16 @@
+error[E0005]: refutable pattern in local binding: `Err(_)` not covered
+  --> $DIR/recursive-types-are-not-uninhabited.rs:6:9
+   |
+LL |     let Ok(x) = res;
+   |         ^^^^^ pattern `Err(_)` not covered
+
+error[E0381]: use of possibly uninitialized variable: `x`
+  --> $DIR/recursive-types-are-not-uninhabited.rs:8:5
+   |
+LL |     x
+   |     ^ use of possibly uninitialized `x`
+
+error: aborting due to 2 previous errors
+
+Some errors have detailed explanations: E0005, E0381.
+For more information about an error, try `rustc --explain E0005`.