Closed
Description
This code should compile:
trait Tr<'a> {
type Assoc;
}
fn outlives<'o, T: 'o>() {}
fn foo<'a, 'b, T: Tr<'a, Assoc = ()>>() {
outlives::<'b, T::Assoc>();
}
Similar to #59, but in the other direction (should pass, but fails).