blob: 353f82e7c6e63e5f914fd63f76a3aa09193cdf1b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// Check that if we have multiple applicable projection bounds we pick one (for
// backwards compatibility reasons).
// check-pass
use std::ops::Mul;
trait A {
type V;
type U: Mul<Self::V, Output = ()> + Mul<(), Output = ()>;
}
fn g<T: A<V = ()>>() {
let y: <T::U as Mul<()>>::Output = ();
}
fn main() {}
|