Assertion: variable's type | /r/HasProperty | inferred in this case
Facets:
Source sentences:
text: In this case, the variable's type is inferred.