Quelle T4757416.java Sprache: JAVA

/*
* @test /nodynamiccopyright/
* @bug 4756416 7170058
* @summary generics: erasure clash not detected
* @author gafter
*
* @compile/fail/ref=T4757416.out -XDrawDiagnostics   T4757416.java
*/

class T4756416 {
    static class C<A> { A id ( A x) { return x; } }
    interface I<A> { A id(A x); }
    static class D extends C<String> implements I<Integer> {
        public String id(String x) { return x; }
        public Integer id(Integer x) { return x; }
    }
}

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-10-11) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders