| error[E0277]: the trait bound `for<'a> &'a _: Trait` is not satisfied |
| --> $DIR/issue-89333.rs:6:5 |
| | |
| LL | test(&|| 0); |
| | ^^^^^^^^^^^ the trait `for<'a> Trait` is not implemented for `&'a _` |
| | |
| help: this trait has no implementations, consider adding one |
| --> $DIR/issue-89333.rs:9:1 |
| | |
| LL | trait Trait {} |
| | ^^^^^^^^^^^ |
| note: required by a bound in `test` |
| --> $DIR/issue-89333.rs:11:55 |
| | |
| LL | fn test<T>(arg: &impl Fn() -> T) where for<'a> &'a T: Trait {} |
| | ^^^^^ required by this bound in `test` |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0277`. |
