Assertion: type inference | /r/HasProperty | impossible
Facets:
value: for object oriented languages
type: OTHER
Source sentences:
text: I would really like an explanation for this and preferably examples on scenarios where type inference is impossible for object oriented languages.