1 // Make sure that if there are multiple applicable bounds on a projection, we 2 // consider them ambiguous. In this test we are initially trying to solve 3 // `Self::Repr: From<_>`, which is ambiguous until we later infer `_` to 4 // `{integer}`. 5 6 // check-pass 7 8 trait PrimeField: Sized { 9 type Repr: From<u64> + From<Self>; 10 type Repr2: From<Self> + From<u64>; 11 method()12 fn method() { 13 Self::Repr::from(10); 14 Self::Repr2::from(10); 15 } 16 } 17 function<T: PrimeField>()18fn function<T: PrimeField>() { 19 T::Repr::from(10); 20 T::Repr2::from(10); 21 } 22 main()23fn main() {} 24