blob: b36f270806ff33aa4b9ca1136f1d520be65a922f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
trait A<Y, N> {
type B;
}
type MaybeBox<T> = <T as A<T, Box<T>>>::B;
struct P {
t: MaybeBox<P>
}
impl<Y, N> A<Y, N> for P {
type B = N;
}
fn main() {
let t: MaybeBox<P>;
}
|