Assertion: overload | /r/HasProperty | determined before the compiler checks
Facets:
Source sentences:
text: The return type of a method is not considered to be part of a method's signature (section 3.6), and an overload is determined before the compiler checks whether or not the return type will cause an error in the wider context of the method call.