One of the longest standing soundness holes in Rust: implied bounds and variance

I'm a big fan of Rust and have been using it for personal projects for the past few years. The article inspired me to actually spend time to understand subtyping and variance.