aoqi@0: /**
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug     6722234
aoqi@0:  * @summary javac diagnostics need better integration with the type-system
aoqi@0:  * @author  mcimadamore
aoqi@0:  * @compile/fail/ref=T6722234a_1.out -XDrawDiagnostics -XDdiags=disambiguateTvars T6722234a.java
aoqi@0:  * @compile/fail/ref=T6722234a_2.out -XDrawDiagnostics -XDdiags=disambiguateTvars,where T6722234a.java
aoqi@0:  */
aoqi@0: 
aoqi@0: class T6722234a<T extends String> {
aoqi@0:     <T extends Integer> void test(T t) {
aoqi@0:         m(t);
aoqi@0:     }
aoqi@0:     void m(T t) {}
aoqi@0: }