aoqi@0: /*
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug     7151802
aoqi@0:  * @summary compiler update caused sqe test failed
aoqi@0:  * @compile/fail/ref=T7151802.out -Werror -Xlint:unchecked -XDrawDiagnostics T7151802.java
aoqi@0:  */
aoqi@0: class T7151802 {
aoqi@0:     static class Foo<X> { }
aoqi@0: 
aoqi@0:     static class SubFoo<X> extends Foo<X> { }
aoqi@0: 
aoqi@0:     //generic - bound - arg - non-slilent
aoqi@0:     <Z extends Foo<String>> void get1(Z fz) { }
aoqi@0:     void test1(Foo foo) { get1(foo); }
aoqi@0: 
aoqi@0:     //generic - bound - arg - silent
aoqi@0:     <Z extends Foo<?>> void get2(Z fz) { }
aoqi@0:     void test2(Foo foo) { get2(foo); }
aoqi@0: 
aoqi@0:     //generic - nobound - arg - non-slilent
aoqi@0:     <Z> void get3(Foo<Z> fz) { }
aoqi@0:     void test(Foo foo) { get3(foo); }
aoqi@0: 
aoqi@0:     //generic - nobound - arg - slilent
aoqi@0:     <Z> void get4(Foo<?> fz) { }
aoqi@0:     void test4(Foo foo) { get4(foo); }
aoqi@0: 
aoqi@0:     //generic - bound - ret - non-slilent
aoqi@0:     <Z extends Foo<String>> Z get5() { return null; }
aoqi@0:     void test5() { SubFoo sf = get5(); }
aoqi@0: 
aoqi@0:     //generic - bound - ret - slilent
aoqi@0:     static <Z extends Foo<?>> Z get6() { return null; }
aoqi@0:     void test6() { SubFoo sf = get6(); }
aoqi@0: 
aoqi@0:     //nogeneric - nobound - arg - non-slilent
aoqi@0:     void get7(Foo<String> fz) { }
aoqi@0:     void test7(Foo foo) { get7(foo); }
aoqi@0: 
aoqi@0:     //nogeneric - nobound - arg - slilent
aoqi@0:     static void get8(Foo<?> fz) { }
aoqi@0:     void test8(Foo foo) { get8(foo); }
aoqi@0: }