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