jdk8-mips64-public/langtools: test/tools/javac/lambda/funcInterfaces/NonSAM2.java@5ddecb91d843

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg

     1 /*

     2  * @test /nodynamiccopyright/

     3  * @bug 8003280

     4  * @summary Add lambda tests

     5  *   This test is for identifying a non-SAM type: Having more than one methods due to inheritance, and none of them has a subsignature of all other methods

     6  * @compile/fail/ref=NonSAM2.out -XDrawDiagnostics NonSAM2.java Helper.java

     7  */

     9 import java.util.List;

    11 interface Foo1 { int getAge(String s);}

    12 interface Bar1 { Integer getAge(String s);}

    13 interface Foo1Bar1 extends Foo1, Bar1 {} //types Bar1 and Foo1 are incompatible; both define getAge(String), but with unrelated return types

    15 interface AC extends A, C {} //name clash: getOldest(List<?>) in C and getOldest(List<Number>) in A have the same erasure, yet neither overrides the other

    16 interface ABC extends A, B, C {} //name clash: getOldest(List<?>) in C and getOldest(List<Number>) in A have the same erasure, yet neither overrides the other

    17 interface AD extends A, D {} //name clash: getOldest(List<Integer>) in D and getOldest(List<Number>) in A have the same erasure, yet neither overrides the other

    19 interface Foo2<T> { void m(T arg);}

    20 interface Bar2<S> { void m(S arg);}

    21 interface Foo2Bar2<T1, T2> extends Foo2<T1>, Bar2<T2> {} //name clash: m(S) in Bar and m(T) in Foo have the same erasure, yet neither overrides the other

Mercurial > jdk8-mips64-public > langtools / file revision

test/tools/javac/lambda/funcInterfaces/NonSAM2.java@5ddecb91d843

test/tools/javac/lambda/funcInterfaces/NonSAM2.java