test/tools/javac/cast/intersection/model/Model01.java

changeset 1511
c7c41a044e7c
parent 1466
b52a38d4536c
child 2050
09301757bb32
equal deleted inserted replaced
1510:7873d37f5b37 1511:c7c41a044e7c
25 * @test 25 * @test
26 * @bug 8002099 26 * @bug 8002099
27 * @summary Add support for intersection types in cast expression 27 * @summary Add support for intersection types in cast expression
28 * @library /tools/javac/lib 28 * @library /tools/javac/lib
29 * @build JavacTestingAbstractProcessor ModelChecker 29 * @build JavacTestingAbstractProcessor ModelChecker
30 * @compile -XDallowIntersectionTypes -processor ModelChecker Model01.java 30 * @compile -processor ModelChecker Model01.java
31 */ 31 */
32 32
33 import javax.lang.model.element.ElementKind; 33 import javax.lang.model.element.ElementKind;
34 34
35 @Check 35 @Check

mercurial