1error[E0277]: the trait bound `dyn Foo<(char,), Output = ()>: Eq<dyn Foo<(), Output = ()>>` is not satisfied
2  --> $DIR/unboxed-closure-sugar-equiv.rs:43:5
3   |
4LL | /     eq::< dyn Foo<(),Output=()>,
5LL | |           dyn Foo(char)                                               >();
6   | |_______________________________________________________________________^ the trait `Eq<dyn Foo<(), Output = ()>>` is not implemented for `dyn Foo<(char,), Output = ()>`
7   |
8note: required by a bound in `eq`
9  --> $DIR/unboxed-closure-sugar-equiv.rs:16:28
10   |
11LL | fn eq<A: ?Sized,B: ?Sized +Eq<A>>() { }
12   |                            ^^^^^ required by this bound in `eq`
13
14error: aborting due to previous error
15
16For more information about this error, try `rustc --explain E0277`.
17