langtools/test/tools/javac/generics/neg/OrderedIntersections.java
author emc
Thu, 12 Sep 2013 14:52:28 -0400
changeset 19938 a2ac24fff52e
permissions -rw-r--r--
8013846: javac fails to reject semantically equivalent generic method declarations Summary: Cause javac to consider intersection types with the same elements to be equal regardless of order. Reviewed-by: jjg, vromero

/*
 * @test /nodynamiccopyright/
 * @bug 6962494
 * @summary The order of elements of intersection types shouldn't matter
 * @compile/fail/ref=OrderedIntersections.out -XDrawDiagnostics OrderedIntersections.java
 */

interface i1 {}
interface i2 {}

public class OrderedIntersections {
    static <t1 extends i1 & i2> Object smf(t1 x) {
        System.out.println( " smf1 " );
        return null;
    }

    static <t2 extends i2 & i1> Object smf(t2 x) {
        System.out.println( " smf2 " );
        return null;
    }
}