8016177: structural most specific and stucknessReviewed-by: jjg, vromeroContributed-by: maurizio.cimadamore@oracle.com
8012003: Method diagnostics resolution need to be simplified in some casesSummary: Unfold method resolution diagnostics when they mention errors in poly expressionsReviewed-by: jjg, vromero