| // Regression test for #59311. The test is taken from |
| // rust-lang/rust/issues/71546#issuecomment-620638437 |
| // as they seem to have the same cause. |
| |
| // FIXME: It's not clear that this code ought to report |
| // an error, but the regression test is here to ensure |
| // that it does not ICE. See discussion on #74889 for details. |
| |
| pub trait Trait { |
| fn t<F: Fn()>(&self, _: F) {} |
| } |
| |
| pub fn crash<V>(v: &V) |
| where |
| for<'a> &'a V: Trait + 'static, |
| { |
| v.t(|| {}); |
| //~^ ERROR: implementation of `Trait` is not general enough |
| //~| ERROR: implementation of `Trait` is not general enough |
| //~| ERROR: higher-ranked lifetime error |
| } |
| |
| fn main() {} |
