7097436: Project Coin: duplicate varargs warnings on method annotated with @SafeVarargsSummary: Duplicate aliasing check during subtyping leads to spurious varargs diagnosticReviewed-by: jjg