about summary refs log tree commit diff
path: root/src/test/ui/empty
diff options
context:
space:
mode:
authorEsteban Küber <esteban@kuber.com.ar>2019-04-15 12:54:18 -0700
committerEsteban Küber <esteban@kuber.com.ar>2019-04-22 13:11:53 -0700
commit6e723c24a83cc89d723df6c0eda17a95deb5fb41 (patch)
tree881b68422e22a12f17e6f928ce141a874da85efb /src/test/ui/empty
parentc21fbfe7e310b9055ed6b7c46b7d37b831a516e3 (diff)
downloadrust-6e723c24a83cc89d723df6c0eda17a95deb5fb41.tar.gz
rust-6e723c24a83cc89d723df6c0eda17a95deb5fb41.zip
Never stop due to errors before borrow checking
Diffstat (limited to 'src/test/ui/empty')
-rw-r--r--src/test/ui/empty/empty-never-array.rs3
-rw-r--r--src/test/ui/empty/empty-never-array.stderr12
2 files changed, 14 insertions, 1 deletions
diff --git a/src/test/ui/empty/empty-never-array.rs b/src/test/ui/empty/empty-never-array.rs
index 01b99134a44..ce781da7d47 100644
--- a/src/test/ui/empty/empty-never-array.rs
+++ b/src/test/ui/empty/empty-never-array.rs
@@ -10,6 +10,9 @@ fn transmute<T, U>(t: T) -> U {
     let Helper::U(u) = Helper::T(t, []);
     //~^ ERROR refutable pattern in local binding: `T(_, _)` not covered
     u
+    //~^ WARN use of possibly uninitialized variable: `u`
+    //~| WARN this error has been downgraded to a warning for backwards compatibility
+    //~| WARN this represents potential undefined behavior in your code and this warning will
 }
 
 fn main() {
diff --git a/src/test/ui/empty/empty-never-array.stderr b/src/test/ui/empty/empty-never-array.stderr
index f1be4a6edec..6608ad763b2 100644
--- a/src/test/ui/empty/empty-never-array.stderr
+++ b/src/test/ui/empty/empty-never-array.stderr
@@ -11,6 +11,16 @@ LL | | }
 LL |       let Helper::U(u) = Helper::T(t, []);
    |           ^^^^^^^^^^^^ pattern `T(_, _)` not covered
 
+warning[E0381]: use of possibly uninitialized variable: `u`
+  --> $DIR/empty-never-array.rs:12:5
+   |
+LL |     u
+   |     ^ use of possibly uninitialized `u`
+   |
+   = warning: this error has been downgraded to a warning for backwards compatibility with previous releases
+   = warning: this represents potential undefined behavior in your code and this warning will become a hard error in the future
+
 error: aborting due to previous error
 
-For more information about this error, try `rustc --explain E0005`.
+Some errors have detailed explanations: E0005, E0381.
+For more information about an error, try `rustc --explain E0005`.