1 2 3 4 5 6 7 8 9 10 11
// check-pass // Minimization of issue #59502 trait MyTrait<T> { type Output; } pub fn pow<T: MyTrait<T, Output = T>>(arg: T) -> T { arg }