tests/ui/traits/next-solver/normalize/normalize-path-for-method.rs

//@ compile-flags: -Znext-solver
//@ check-pass

trait Mirror {
    type Assoc;
}
impl<T> Mirror for T {
    type Assoc = T;
}

struct Foo;
impl Foo {
    fn new() -> Self { Foo }
}

fn main() {
    <Foo as Mirror>::Assoc::new();
}