Point at coercion reason for if exprs without else clause
```
error[E0317]: if may be missing an else clause
--> $DIR/if-without-else-as-fn-expr.rs:2:5
|
LL | fn foo(bar: usize) -> usize {
| ----- found `usize` because of this return type
LL | / if bar % 5 == 0 {
LL | | return 3;
LL | | }
| |_____^ expected (), found usize
|
= note: expected type `()`
found type `usize`
= note: `if` expressions without `else` must evaluate to `()`
```
This commit is contained in:
parent
f22dca0a1b
commit
369058eacd
6 changed files with 62 additions and 1 deletions
10
src/test/ui/if/if-without-else-as-fn-expr.rs
Normal file
10
src/test/ui/if/if-without-else-as-fn-expr.rs
Normal file
|
|
@ -0,0 +1,10 @@
|
|||
fn foo(bar: usize) -> usize {
|
||||
if bar % 5 == 0 {
|
||||
return 3;
|
||||
}
|
||||
//~^^^ ERROR if may be missing an else clause
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let _ = foo(1);
|
||||
}
|
||||
17
src/test/ui/if/if-without-else-as-fn-expr.stderr
Normal file
17
src/test/ui/if/if-without-else-as-fn-expr.stderr
Normal file
|
|
@ -0,0 +1,17 @@
|
|||
error[E0317]: if may be missing an else clause
|
||||
--> $DIR/if-without-else-as-fn-expr.rs:2:5
|
||||
|
|
||||
LL | fn foo(bar: usize) -> usize {
|
||||
| ----- found `usize` because of this return type
|
||||
LL | / if bar % 5 == 0 {
|
||||
LL | | return 3;
|
||||
LL | | }
|
||||
| |_____^ expected (), found usize
|
||||
|
|
||||
= note: expected type `()`
|
||||
found type `usize`
|
||||
= note: `if` expressions without `else` must evaluate to `()`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0317`.
|
||||
|
|
@ -6,6 +6,7 @@ LL | let a = if true { true };
|
|||
|
|
||||
= note: expected type `()`
|
||||
found type `bool`
|
||||
= note: `if` expressions without `else` must evaluate to `()`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
|
|
|||
|
|
@ -13,6 +13,7 @@ LL | | };
|
|||
|
|
||||
= note: expected type `()`
|
||||
found type `{integer}`
|
||||
= note: `if` expressions without `else` must evaluate to `()`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
|
|
|||
|
|
@ -6,6 +6,7 @@ LL | Drop = assert_eq!(1, 1)
|
|||
|
|
||||
= note: expected type `()`
|
||||
found type `isize`
|
||||
= note: `if` expressions without `else` must evaluate to `()`
|
||||
= note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
|
||||
|
||||
error: aborting due to previous error
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue