Assertion: expression's type | /r/HasProperty | inferred by the compiler
Facets:
Source sentences:
text: The type of the argument can be inferred as well by the compiler, so we can remove the type declaration for the argument.