blob: f30feaed055740e1be7e06453636558118f64eb6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
// run-rustfix
#![allow(dead_code)]
struct S;
struct Y;
trait Trait {}
impl Trait for S {}
impl Trait for Y {}
fn foo() -> Box<dyn Trait> {
if true {
Box::new(S)
} else {
Box::new(Y) //~ ERROR `if` and `else` have incompatible types
}
}
fn bar() -> Box<dyn Trait> {
match true {
true => Box::new(S),
false => Box::new(Y), //~ ERROR `match` arms have incompatible types
}
}
fn main() {}
|