Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/Metis/src/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 867 B image not shown  

Quellcode-Bibliothek T6717241a.java   Sprache: unbekannt

 
/**
 * @test /nodynamiccopyright/
 * @bug     6717241
 * @summary some diagnostic argument is prematurely converted into a String object
 * @author  Maurizio Cimadamore
 * @compile/fail/ref=T6717241a.out -XDrawDiagnostics T6717241a.java
 */


class T6717241a<X extends Object & java.io.Serializable> {
    X x;
    void test() {
        //this will generate a 'cant.resolve'
        Object o = x.v;
        //this will generate a 'cant.resolve.args'
        x.m1(1"");
        //this will generate a 'cant.resolve.args.params'
        x.<Integer,Double>m2(1"");
    }
}

Messung V0.5 in Prozent
C=92 H=93 G=92

[0.10QuellennavigatorsProjekt 2026-06-10]