summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/issue-82830.rs
blob: 37bae2e90a595a0252eabf1f907ff6b59857ce37 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
// check-pass

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>;
}