Victor Farazdagi
Shallow musings on software engineering
Posts
Tags
About
lifetimes
10
Feb 2026
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...