tests/ui/typeck/return-dyn-type-mismatch-2.rs

trait Trait<T> {}

fn foo<T>() -> dyn Trait<T>
where
    dyn Trait<T>: Sized, // pesky sized predicate
{
    42
    //~^ ERROR mismatched types
}

fn main() {}