Implied bounds on nested references + variance = soundness hole · Issue #25860 · rust-lang/rust · GitHub
Rustのunsound hole issue #25860を理解する - Speaker Deck
fn foo<'a, 'b, T>(_: &'a &'b (), v: &'b T) -> &'a T { v }
こいつは & の共変性から 'b: 'a と推論されて型チェックが通るが、関数の部分型判定時にはこの推論が考慮されないことが問題…なのかな。