Much more useful form of compile-time assert.