Subtyping in Rust and Clarke’s Third Law Continue reading “Subtyping in Rust and Clarke’s Third Law” →