I'm banking on a much more powerful version of static assert. Something that lets a developer make assertions (and assumptions, and requirements on the callers)

I'm banking on a much more powerful version of static assert. Something that lets a developer make assertions (and assumptions, and requirements on the callers) that get checked at (roughly) compile time.