blob: d8abdd5206ef460532b240624b4cc1491f02e33f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// #66353: ICE when trying to recover from incorrect associated type
trait _Func<T> {
fn func(_: Self);
}
trait _A {
type AssocT;
}
fn main() {
_Func::< <() as _A>::AssocT >::func(());
//~^ ERROR the trait bound `(): _A` is not satisfied
//~| ERROR the trait bound `(): _Func<_>` is not satisfied
}
|
