Assertion: function | /r/HasProperty | applied to argument
Facets:
Source sentences:
text: In this case the compiler would not be able to perform compile-time checking of argument types and Syntax arity when the function was applied to some arguments.