Summary: Type-checking of non-overloaded method references should be independent from target-type
Reviewed-by: jjg, vromero