tests/ui/traits/object/redundant.rs


1
2
3
4
5
6
7
8
9
10
11
12

//@ check-pass

trait Foo: Bar<Out = ()> {}
trait Bar {
    type Out;
}

fn w(x: &dyn Foo<Out = ()>) {
    let x: &dyn Foo = x;
}

fn main() {}