// Make sure that if there are multiple applicable bounds on a projection, we
// consider them ambiguous. In this test we are initially trying to solve
// `Self::Repr: From<_>`, which is ambiguous until we later infer `_` to
// `{integer}`.

// check-pass

trait PrimeField: Sized {
    type Repr: From<u64> + From<Self>;
    type Repr2: From<Self> + From<u64>;

    fn method() {
        Self::Repr::from(10);
        Self::Repr2::from(10);
    }
}

fn function<T: PrimeField>() {
    T::Repr::from(10);
    T::Repr2::from(10);
}

fn main() {}