1 2 3 4 5 6 7 8 9 10 11 12 13 14
//@ check-pass trait Get<T> { fn get(&self) -> T; } trait Trait<'a> { type T: 'static; type U: Get<&'a isize>; fn dummy(&'a self) { } } fn main() {}