src/test/ui/where-clauses/where-clause-early-bound-lifetimes.rs

   1 // run-pass
   2 #![allow(non_upper_case_globals)]
   3
   4 // pretty-expanded FIXME #23616
   5
   6 trait TheTrait { fn dummy(&self) { } }
   7
   8 impl TheTrait for &'static isize { }
   9
  10 fn foo<'a,T>(_: &'a T) where &'a T : TheTrait { }
  11
  12 fn bar<T>(_: &'static T) where &'static T : TheTrait { }
  13
  14 fn main() {
  15     static x: isize = 1;
  16     foo(&x);
  17     bar(&x);
  18 }