1 error: lifetime may not live long enough
2 --> $DIR/issue-26217.rs:4:5
5 | -- lifetime `'a` defined here
7 | ^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
9 note: due to current limitations in the borrow checker, this implies a `'static` lifetime
10 --> $DIR/issue-26217.rs:1:30
12 LL | fn foo<T>() where for<'a> T: 'a {}
15 error: aborting due to previous error