same-as (cargo): Type equality in stable Rust.
Keywords: logic|proofs|types|metaprogramming|math