blob: 5f177333c93d5addc3868d925b90f305d743cb8a (
plain)
1
2
3
4
5
6
7
8
9
10
|
// check-pass
trait Foo { type FooT: Foo; }
impl Foo for () { type FooT = (); }
trait Bar<T: Foo> { type BarT: Bar<T::FooT>; }
impl Bar<()> for () { type BarT = (); }
#[allow(dead_code)]
fn test<C: Bar<()>>() { }
fn main() { }
|