Assertion: type inference | /r/HasProperty | helpful
Facets:
value: in type-checking
type: OTHER
Source sentences:
text: Thus, type inference is helpful in type-checking when there are no explicit type annotations available.