1 error[E0277]: the trait bound `(): _A` is not satisfied
2 --> $DIR/issue-66353.rs:12:14
4 LL | _Func::< <() as _A>::AssocT >::func(());
5 | ^^^^^^^^^^^^^^^^^^ the trait `_A` is not implemented for `()`
7 error[E0277]: the trait bound `(): _Func<_>` is not satisfied
8 --> $DIR/issue-66353.rs:12:41
10 LL | _Func::< <() as _A>::AssocT >::func(());
11 | ----------------------------------- ^^ the trait `_Func<_>` is not implemented for `()`
13 | required by a bound introduced by this call
15 error: aborting due to 2 previous errors
17 For more information about this error, try `rustc --explain E0277`.