tests/rustdoc-ui/normalize-in-inlined-type-alias.rs


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

//@ check-pass
//@ compile-flags: -Znormalize-docs

trait Woo<T> {
    type Assoc;
}

impl<T> Woo<T> for () {
    type Assoc = ();
}

type Alias<P> = <() as Woo<P>>::Assoc;

pub fn hello<S>() -> Alias<S> {}