ok at last i think i am getting somewhere useful: i have used abstract interpretation at the type level to persuade rust to automatically track which parts of a complex number are known to be zero at compile time, and can therefore be eliminated at run time

I think this is a case where Rust can do something C++ can’t? because C++ does not have zero sized types - but I know 0 about template metaprogramming

playgroundificated version play.rust-lang.org/?version=…