Yes.  There should be an assert.