| error[E0308]: `if` and `else` have incompatible types |
| --> $DIR/do-not-suggest-boxed-trait-objects-instead-of-impl-trait.rs:12:9 |
| | |
| LL | / if true { |
| LL | | S |
| | | - expected because of this |
| LL | | } else { |
| LL | | Y |
| | | ^ expected `S`, found `Y` |
| LL | | } |
| | |_____- `if` and `else` have incompatible types |
| |
| error[E0308]: `match` arms have incompatible types |
| --> $DIR/do-not-suggest-boxed-trait-objects-instead-of-impl-trait.rs:19:18 |
| | |
| LL | / match true { |
| LL | | true => S, |
| | | - this is found to be of type `S` |
| LL | | false => Y, |
| | | ^ expected `S`, found `Y` |
| LL | | } |
| | |_____- `match` arms have incompatible types |
| |
| error: aborting due to 2 previous errors |
| |
| For more information about this error, try `rustc --explain E0308`. |