T6722234a.java revision 3643:589ff4d43428 
1/**
2 * @test /nodynamiccopyright/
3 * @bug     6722234
4 * @summary javac diagnostics need better integration with the type-system
5 * @author  mcimadamore
6 * @compile/fail/ref=T6722234a_1.out -XDrawDiagnostics --diags:formatterOptions=disambiguateTvars T6722234a.java
7 * @compile/fail/ref=T6722234a_2.out -XDrawDiagnostics --diags:formatterOptions=disambiguateTvars,where T6722234a.java
8 */
9
10class T6722234a<T extends String> {
11    <T extends Integer> void test(T t) {
12        m(t);
13    }
14    void m(T t) {}
15}
16