1 // run-pass 2 // pretty-expanded FIXME #23616 3 4 trait Get<T> { get(&self) -> T5 fn get(&self) -> T; 6 } 7 8 trait Trait<'a> { 9 type T: 'static; 10 type U: Get<&'a isize>; 11 dummy(&'a self)12 fn dummy(&'a self) { } 13 } 14 main()15 fn main() {} 16