Is that actually possible?  If not, you could turn this into an assert.