src/test/ui/associated-types/issue-39532.rs


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

// check-pass

#![allow(unused)]

trait Foo {
    type Bar;
    type Baz: Bar<Self::Bar>;
}

trait Bar<T> {}

fn x<T: Foo<Bar = U>, U>(t: &T) {}

fn main() {}