Assertion: function's argument | /r/HasProperty | casted to double
Facets:
Source sentences:
text: This is an error, because (1) could be called and the second // argument casted to an int, and (2) could be called with the first // argument casted to a double.