1 error[E0277]: the trait bound `dyn Foo<(isize,), isize, Output=()>: Eq<dyn Foo<(isize,), Output=()>>` is not satisfied
2 --> $DIR/unboxed-closure-sugar-default.rs:21:5
4 LL | eq::< Foo<(isize,),isize,Output=()>, Foo(isize) >();
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Eq<dyn Foo<(isize,), Output=()>>` is not implemented for `dyn Foo<(isize,), isize, Output=()>`
8 --> $DIR/unboxed-closure-sugar-default.rs:14:1
10 LL | fn eq<A: ?Sized,B: ?Sized>() where A : Eq<B> { }
11 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
13 error: aborting due to previous error
15 For more information about this error, try `rustc --explain E0277`.