/* | |
* @test | |
* @summary Test for Issue 1420. | |
* https://github.com/typetools/checker-framework/issues/1420 | |
* | |
* @compile Crash8Lib.java | |
* @compile -XDrawDiagnostics -processor org.checkerframework.checker.tainting.TaintingChecker Crash8.java | |
*/ | |
abstract class Crash8<X extends Crash8Lib.Box<X>> { | |
void test(Crash8Lib.Main main, boolean b, Class<X> cls) { | |
Crash8Lib.MyIterable<X> x = main.foo(cls).get1().getIterable2(); | |
x = b ? x : main.foo(cls).get1().getIterable2(); | |
} | |
} |