hg: jdk7u/jdk7u-dev/langtools: 8033294: javac, spurious warning for instanceof operator

[jonathan.gibbons at oracle.com]

Changeset: 420dc86b1716
Author:    vromero
Date:      2014-02-11 21:01 +0000
URL:       http://hg.openjdk.java.net/jdk7u/jdk7u-dev/langtools/rev/420dc86b1716

8033294: javac, spurious warning for instanceof operator
Reviewed-by: jjg, jlahoda

! src/share/classes/com/sun/tools/javac/code/Type.java
! src/share/classes/com/sun/tools/javac/code/Types.java
+ test/tools/javac/T8033294/RedundantWarningInIntersectionTest.java