The following compiles with `v0.8.0` and https://github.com/rust-embedded/heapless/pull/425, but not with latest main: ```rust 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.