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 current limitations in the borrow checker, this implies a `'static` lifetime --> $DIR/issue-26217.rs:1:30 | LL | fn foo() where for<'a> T: 'a {} | ^^ error: aborting due to previous error