// run-rustfix
#![allow(dead_code)]
struct Struct;
trait Trait {}
impl Trait for Struct {}
impl Trait for u32 {}

fn foo() -> impl Trait { Struct }
//~^ ERROR E0746

fn bar() -> impl Trait { //~ ERROR E0746
    if true {
        return 0u32;
    }
    42u32
}

fn main() {}