The following compiles with v0.8.0 and #425, but not with latest main:
fn test_variance<'a: 'b, 'b>(x: Vec<&'a (), 42>) -> Vec<&'b (), 42> {
x
}
@Dirbaio
I think this is caused the intermediary Generic Associated Type, but I could not find where this is documented.