| // #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 | |
| } |