8016175: Add bottom-up type-checking support for unambiguous method referencesSummary: Type-checking of non-overloaded method references should be independent from target-typeReviewed-by: jjg, vromero