src/test/ui/issues/issue-66353.rs

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