associated-types-resolve-lifetime.rs

//@ 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() {}