I've got a little module/pragma that will spot this kind of problem at compile-time: see "pragma" ensure...

...I'm interested in whether people find it useful. So any and all comments gratefully received.