diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2019-01-20 18:42:10 -0800 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2019-01-20 18:42:10 -0800 |
| commit | e33f7f7de1df090f890063296608dca65be55ac0 (patch) | |
| tree | 270de458d4e9b868bebde2018f8ecd0caaf926bc /src/test/ui/impl-trait | |
| parent | e73069767f11d992f0dca7e31d53d7e1a77fd237 (diff) | |
| download | rust-e33f7f7de1df090f890063296608dca65be55ac0.tar.gz rust-e33f7f7de1df090f890063296608dca65be55ac0.zip | |
Explain type mismatch cause pointing to return type when it is `impl Trait`
Diffstat (limited to 'src/test/ui/impl-trait')
| -rw-r--r-- | src/test/ui/impl-trait/equality.stderr | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/test/ui/impl-trait/equality.stderr b/src/test/ui/impl-trait/equality.stderr index 57bd70de7c6..6cd9d07748c 100644 --- a/src/test/ui/impl-trait/equality.stderr +++ b/src/test/ui/impl-trait/equality.stderr @@ -1,8 +1,11 @@ error[E0308]: mismatched types --> $DIR/equality.rs:15:5 | +LL | fn two(x: bool) -> impl Foo { + | -------- expected because this return type... +LL | if x { LL | return 1_i32; - | ----- expected because of this statement + | ----- ...is found to be `i32` here LL | } LL | 0_u32 | ^^^^^ expected i32, found u32 |