diff options
| author | bors <bors@rust-lang.org> | 2019-04-23 09:38:34 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-04-23 09:38:34 +0000 |
| commit | 31f5d69ba4f4d78740190a08ea097b41b00d96cb (patch) | |
| tree | bc4730f0e3bb9ead3ee01e9d11975b1692314bde /src/test/ui/recursion | |
| parent | 0f11354a9c1bf0c5ac250c7fa2bafc289a662f42 (diff) | |
| parent | 87ef96d3946ed4add766c0a2cd72d8443e92e4a0 (diff) | |
| download | rust-31f5d69ba4f4d78740190a08ea097b41b00d96cb.tar.gz rust-31f5d69ba4f4d78740190a08ea097b41b00d96cb.zip | |
Auto merge of #60125 - estebank:continue-evaluating, r=oli-obk
Don't stop evaluating due to errors before borrow checking r? @oli-obk Fix #60005. Follow up to #59903. Blocked on #53708, fixing the ICE in `src/test/ui/consts/match_ice.rs`.
Diffstat (limited to 'src/test/ui/recursion')
| -rw-r--r-- | src/test/ui/recursion/recursive-types-are-not-uninhabited.rs | 3 | ||||
| -rw-r--r-- | src/test/ui/recursion/recursive-types-are-not-uninhabited.stderr | 12 |
2 files changed, 14 insertions, 1 deletions
diff --git a/src/test/ui/recursion/recursive-types-are-not-uninhabited.rs b/src/test/ui/recursion/recursive-types-are-not-uninhabited.rs index 44893036383..a618aba9413 100644 --- a/src/test/ui/recursion/recursive-types-are-not-uninhabited.rs +++ b/src/test/ui/recursion/recursive-types-are-not-uninhabited.rs @@ -6,6 +6,9 @@ fn foo(res: Result<u32, &R>) -> u32 { let Ok(x) = res; //~^ ERROR refutable pattern x + //~^ WARN use of possibly uninitialized variable: `x` + //~| 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/recursion/recursive-types-are-not-uninhabited.stderr b/src/test/ui/recursion/recursive-types-are-not-uninhabited.stderr index dad98cff452..940ab94a613 100644 --- a/src/test/ui/recursion/recursive-types-are-not-uninhabited.stderr +++ b/src/test/ui/recursion/recursive-types-are-not-uninhabited.stderr @@ -4,6 +4,16 @@ error[E0005]: refutable pattern in local binding: `Err(_)` not covered LL | let Ok(x) = res; | ^^^^^ pattern `Err(_)` not covered +warning[E0381]: use of possibly uninitialized variable: `x` + --> $DIR/recursive-types-are-not-uninhabited.rs:8:5 + | +LL | x + | ^ use of possibly uninitialized `x` + | + = 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`. |