check_dots_empty0() is a more efficient version of
check_dots_empty() with a slightly different interface. Instead
of inspecting the current environment for dots, it directly takes
.... It is only meant for very low level functions where a
couple microseconds make a difference.
check_dots_empty0(..., call = caller_env())
Dots which should be empty.