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


1
2
3
4
5
6
7
8
9
10
11

trait Trait<T> {}

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

fn main() {}