hg: valhalla/valhalla/langtools: Enhancement: emit warnings for unsupported Valhalla features

[maurizio.cimadamore at oracle.com]

Changeset: 00906d972818
Author:    mcimadamore
Date:      2015-07-03 19:09 +0100
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/00906d972818

Enhancement: emit warnings for unsupported Valhalla features
* compiler should bark when encountering stuff that's not supported by the runtime specializer; for now two:
   - shadowing of any vars
   - classes that get any vars from the enclosing context (i.e. member, local, anonymous inner)
* Fix: loop detection logic for Types.ContainsAny does not work properly
* Fix: ClassWriter should skip BMA generation on non-specializable synthetics

! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Lower.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/SpecializeTypes.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/ClassWriter.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/resources/compiler.properties
! test/tools/javac/diags/examples.not-yet.txt