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 |