Comment by gpderetta

they are literally meant to be better asserts, that can be shown on a function declaration.