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.
}
|