error: lifetime may not live long enough --> $DIR/issue-26217.rs:4:5 | LL | fn bar<'a>() { | -- lifetime `'a` defined here LL | foo::<&'a i32>(); | ^^^^^^^^^^^^^^ requires that `'a` must outlive `'static` | note: due to a current limitation of the type system, this implies a `'static` lifetime --> $DIR/issue-26217.rs:1:19 | LL | fn foo() where for<'a> T: 'a {} | ^^^^^^^^^^^^^ error: aborting due to 1 previous error