Yeah, I've hit the enum variant type issue myself (e.g. a function guaranteed to return one of the variants), but in practice it hasn't been that big of an issu

Yeah, I've hit the enum variant type issue myself (e.g. a function guaranteed to return one of the variants), but in practice it hasn't been that big of an issue. There's also std::mem::discriminant [1] which helps a bit. What do you mean by traits only half-existing? [1] https://doc.rust-lang.org/stable/std/mem/fn.discriminant.html https://doc.rust-lang.org/stable/std/mem/fn.discriminant.htm...