tests/ui/associated-types/ambiguous-associated-type-default.rs

//! Regression test for https://github.com/rust-lang/rust/issues/23073

#![feature(associated_type_defaults)]

trait Foo { type T; }
trait Bar {
    type Foo: Foo;
    type FooT = <<Self as Bar>::Foo>::T; //~ ERROR ambiguous associated type
}

fn main() {}