error[E0277]: the trait bound `U: From` is not satisfied --> $DIR/issue-53092.rs:14:5 | LL | |x| x.into() | ^^^^^^^^^^^^ the trait `From` is not implemented for `U` | note: required by a bound in `make_bug` --> $DIR/issue-53092.rs:13:19 | LL | fn make_bug>() -> Bug { | ^^^^^^^ required by this bound in `make_bug` help: consider restricting type parameter `U` | LL | type Bug> = impl Fn(T) -> U + Copy; | +++++++++++++++++++++++ error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.