tests/ui/impl-trait/dyn-impl-type-mismatch.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

trait Trait {}
struct Struct;
impl Trait for Struct {}
fn foo() -> impl Trait {
    Struct
}
fn main() {
    let a: Box<dyn Trait> = if true {
        Box::new(Struct)
    } else {
        foo() //~ ERROR E0308
    };
    let a: dyn Trait = if true {
        Struct //~ ERROR E0308
    } else {
        foo() //~ ERROR E0308
    };
}