//@ check-pass
//@ pretty-expanded FIXME #23616
trait Get<T> {
fn get(&self) -> T;
}
trait Trait<'a> {
type T: 'static;
type U: Get<&'a isize>;
fn dummy(&'a self) { }
fn main() {}