Function to check for mandatory code

Expected arguments in function.

Extra information to be included in the message (useful when writing tests in loops).

For full form, label of expected object used in error messages. Useful to override default (deparsed expected expression) when doing tests in a loop. For short cut form, object label. When NULL, computed from deparsed object.

Equivalent of label for shortcut form.