mcimadamore@80: /**
jjg@384:  * @test /nodynamiccopyright/
mcimadamore@80:  * @bug     6717241
mcimadamore@80:  * @summary some diagnostic argument is prematurely converted into a String object
mcimadamore@80:  * @author  Maurizio Cimadamore
mcimadamore@80:  * @compile/fail/ref=T6717241a.out -XDstdout -XDrawDiagnostics T6717241a.java
mcimadamore@80:  */
mcimadamore@80: 
mcimadamore@80: class T6717241a<X extends Object & java.io.Serializable> {
mcimadamore@80:     X x;
mcimadamore@80:     void test() {
mcimadamore@80:         //this will generate a 'cant.resolve'
mcimadamore@80:         Object o = x.v;
mcimadamore@80:         //this will generate a 'cant.resolve.args'
mcimadamore@80:         x.m1(1, "");
mcimadamore@80:         //this will generate a 'cant.resolve.args.params'
mcimadamore@80:         x.<Integer,Double>m2(1, "");
mcimadamore@80:     }
mcimadamore@80: }