On Subtyping and Variance in Rust

1 Introduction Subtyping is a relationship between types, where a type S conforms to the type T’s interface and th...