| //@ check-pass | |
| //@ known-bug: #84366 | |
| // Should fail. Associated types of 'static types should be `'static`, but | |
| // argument-free closures can be `'static` and return non-`'static` types. | |
| #[allow(dead_code)] | |
| fn foo<'a>() { | |
| let closure = || -> &'a str { "" }; | |
| assert_static(closure); | |
| } | |
| fn assert_static<T: 'static>(_: T) {} | |
| fn main() {} |