8016177: structural most specific and stucknessReviewed-by: jjg, vromeroContributed-by: maurizio.cimadamore@oracle.com
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