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 | fn func(_: Self);
11 | ----------------- required by `_Func::func`
13 LL | _Func::< <() as _A>::AssocT >::func(());
14 | ^^ the trait `_Func<_>` is not implemented for `()`
16 error: aborting due to 2 previous errors
18 For more information about this error, try `rustc --explain E0277`.