Start checking nonnull (as well as format and argument_with_type_tag) on
overloaded binary operators.