1 error: the type `&dyn Fn(i32) -> _` is not well-formed (chalk)
2 --> $DIR/trait-objects.rs:11:12
4 LL | let f: &dyn Fn(i32) -> _ = &|x| x + x;
7 error[E0277]: `(i32,)` is not a tuple
8 --> $DIR/trait-objects.rs:12:5
11 | ^^^^ the trait `Tuple` is not implemented for `(i32,)`
13 help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
15 LL | fn main() where (i32,): Tuple {
18 error[E0277]: expected a `Fn<(i32,)>` closure, found `dyn Fn(i32) -> i32`
19 --> $DIR/trait-objects.rs:12:5
22 | ^^^^ expected an `Fn<(i32,)>` closure, found `dyn Fn(i32) -> i32`
24 = help: the trait `Fn<(i32,)>` is not implemented for `dyn Fn(i32) -> i32`
25 help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
27 LL | fn main() where dyn Fn(i32) -> i32: Fn<(i32,)> {
28 | ++++++++++++++++++++++++++++++++++++
30 error: aborting due to 3 previous errors
32 For more information about this error, try `rustc --explain E0277`.