test/langtools/tools/javac/generics/inference/8148213/T8148213.java

/*
 * @test /nodynamiccopyright/
 * @bug 8148213
 * @summary Regression: nested unchecked call does not trigger erasure of return type
 *
 * @compile/fail/ref=T8148213.out -Werror -Xlint:unchecked -XDrawDiagnostics T8148213.java
 */

abstract class T8148213 {

    interface R<E> { }

    interface Q<T> { }

    interface T {
        <E> Q<E> n(R<E> r);
    }

    abstract <T> T isA(Class<T> t);

    abstract <T> S<T> w(T t);

    interface S<T> {
        S<T> t(T value);
    }

    void f(T t, Q<String> q) {
        w(t.n(isA(R.class))).t(q);
    }
}