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
8 trait PrimeField: Sized {
9 type Repr: From<u64> + From<Self>;
10 type Repr2: From<Self> + From<u64>;
14 Self::Repr2::from(10);
18 fn function<T: PrimeField>() {