hmm, i’m trying to get rust to track in the type system whether a number is known to be zero, but it’s failing in a confusing way: rustc says there’s no implementation of Op for Added<Sa,Sb> but how can it be so sure when Sa and Sb are unknown type parameters?

er, good idea, heh play.rust-lang.org/?version=… weirdly the playground gives me a different error