src/test/ui/issues/issue-26217.rs

   1 fn foo<T>() where for<'a> T: 'a {}
   2
   3 fn bar<'a>() {
   4     foo::<&'a i32>();
   5     //~^ ERROR the type `&'a i32` does not fulfill the required lifetime
   6 }
   7
   8 fn main() {
   9     bar();
  10 }