summaryrefslogtreecommitdiffstats
path: root/tests/ui/wf/unnormalized-projection-guides-inference.rs
blob: ca2d6c2e882d05cf2c2a8a43cfee3471532c2588 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
// The WF requirements of the *unnormalized* form of type annotations
// can guide inference.
// check-pass

pub trait EqualTo {
    type Ty;
}
impl<X> EqualTo for X {
    type Ty = X;
}

trait MyTrait<U: EqualTo<Ty = Self>> {
    type Out;
}
impl<T, U: EqualTo<Ty = T>> MyTrait<U> for T {
    type Out = ();
}

fn main() {
    let _: <_ as MyTrait<u8>>::Out;
    // We shoud be able to infer a value for the inference variable above.
    // The WF of the unnormalized projection requires `u8: EqualTo<Ty = _>`,
    // which is sufficient to guide inference.
}