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

changeset 1466
b52a38d4536c
parent 1436
f6f1fd261f57
child 1511
c7c41a044e7c
equal deleted inserted replaced
1465:a22f23fb7abf 1466:b52a38d4536c
23 23
24 /* 24 /*
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 ../../../lib 28 * @library /tools/javac/lib
29 * @build JavacTestingAbstractProcessor ModelChecker 29 * @build JavacTestingAbstractProcessor ModelChecker
30 * @compile -XDallowIntersectionTypes -processor ModelChecker Model01.java 30 * @compile -XDallowIntersectionTypes -processor ModelChecker Model01.java
31 */ 31 */
32 32
33 import javax.lang.model.element.ElementKind; 33 import javax.lang.model.element.ElementKind;

mercurial