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