aoqi@0: /**
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug 7177306
aoqi@0:  * @summary Regression: unchecked method call does not erase return type
aoqi@0:  * @compile/fail/ref=T7177306b.out -Werror -Xlint:unchecked -XDrawDiagnostics T7177306b.java
aoqi@0:  */
aoqi@0: 
aoqi@0: import java.util.List;
aoqi@0: 
aoqi@0: class T7177306b {
aoqi@0: 
aoqi@0:     <T, S extends List<T>> List<T> m(List<? super T> arg1, S arg2, Class<Object> arg3) { return arg2; }
aoqi@0: 
aoqi@0:     void test(List<Integer> li, List<String> ls, Class c) {
aoqi@0:         m(li, ls, c);
aoqi@0:         // should fail, because of bounds T <: Integer, S :> List<String>
aoqi@0:     }
aoqi@0: }