2 #![allow(non_upper_case_globals)]
4 // pretty-expanded FIXME #23616
6 trait TheTrait { fn dummy(&self) { } }
8 impl TheTrait for &'static isize { }
10 fn foo<'a,T>(_: &'a T) where &'a T : TheTrait { }
12 fn bar<T>(_: &'static T) where &'static T : TheTrait { }