Mercurial > jdk8-mips64-public > langtools / annotate
test/tools/javac/lambda/funcInterfaces/NonSAM2.java@c6728c9addff (annotated)
test/tools/javac/lambda/funcInterfaces/NonSAM2.java
Fri, 22 Mar 2013 12:43:09 +0000
- author
- mcimadamore
- date
- Fri, 22 Mar 2013 12:43:09 +0000
- changeset 1655
- c6728c9addff
- parent 1415
- 01c9d4161882
- child 1811
- 349160289ba2
- permissions
- -rw-r--r--
8010303: Graph inference: missing incorporation step causes spurious inference error
Summary: Multiple equality constraints on inference vars are not used to generate new inference constraints
Reviewed-by: jjg
| mcimadamore@1415 | 1 | /* |
| mcimadamore@1415 | 2 | * @test /nodynamiccopyright/ |
| mcimadamore@1415 | 3 | * @bug 8003280 |
| mcimadamore@1415 | 4 | * @summary Add lambda tests |
| mcimadamore@1415 | 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 |
| mcimadamore@1415 | 6 | * @compile/fail/ref=NonSAM2.out -XDrawDiagnostics NonSAM2.java Helper.java |
| mcimadamore@1415 | 7 | */ |
| mcimadamore@1415 | 8 | |
| mcimadamore@1415 | 9 | import java.util.List; |
| mcimadamore@1415 | 10 | |
| mcimadamore@1415 | 11 | interface Foo1 { int getAge(String s);} |
| mcimadamore@1415 | 12 | interface Bar1 { Integer getAge(String s);} |
| mcimadamore@1415 | 13 | interface Foo1Bar1 extends Foo1, Bar1 {} //types Bar1 and Foo1 are incompatible; both define getAge(String), but with unrelated return types |
| mcimadamore@1415 | 14 | |
| mcimadamore@1415 | 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 |
| mcimadamore@1415 | 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 |
| mcimadamore@1415 | 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 |
| mcimadamore@1415 | 18 | |
| mcimadamore@1415 | 19 | interface Foo2<T> { void m(T arg);} |
| mcimadamore@1415 | 20 | interface Bar2<S> { void m(S arg);} |
| mcimadamore@1415 | 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 |
