8016175: Add bottom-up type-checking support for unambiguous method references

Type-checking of non-overloaded method references should be independent from target-type

Reviewed-by: jjg, vromero
16 files changed