The last thing is that I'm not quite sure what is the resolution of this bug then?
a) documentation is wrong, it should say assert (as tested below)
b) implementation is wrong, it should do enforce/throw