• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/lambda/TargetType23.java@5ddecb91d843 (annotated)

test/tools/javac/lambda/TargetType23.java

Tue, 12 Mar 2013 16:02:43 +0000

author

mcimadamore

date

Tue, 12 Mar 2013 16:02:43 +0000

changeset 1628

5ddecb91d843

parent 1415

01c9d4161882

child 2395

9c577131ffa6

permissions

-rw-r--r--

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
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	* check case of ambiguous method call with lambda whose body cannot
mcimadamore@1415	6	complete normally
mcimadamore@1415	7	* @compile/fail/ref=TargetType23.out -XDrawDiagnostics TargetType23.java
mcimadamore@1415	8	*/
mcimadamore@1415	9
mcimadamore@1415	10	class TargetType23 {
mcimadamore@1415	11
mcimadamore@1415	12	interface Sam0 {
mcimadamore@1415	13	void m();
mcimadamore@1415	14	}
mcimadamore@1415	15
mcimadamore@1415	16	interface Sam1 {
mcimadamore@1415	17	int m();
mcimadamore@1415	18	}
mcimadamore@1415	19
mcimadamore@1415	20	interface Sam2 {
mcimadamore@1415	21	String m();
mcimadamore@1415	22	}
mcimadamore@1415	23
mcimadamore@1415	24	interface Sam3<A> {
mcimadamore@1415	25	A m();
mcimadamore@1415	26	}
mcimadamore@1415	27
mcimadamore@1415	28
mcimadamore@1415	29	void call(Sam0 s) { }
mcimadamore@1415	30	void call(Sam1 s) { }
mcimadamore@1415	31	void call(Sam2 s) { }
mcimadamore@1415	32	<Z> void call(Sam3<Z> s) { }
mcimadamore@1415	33
mcimadamore@1415	34	void test() {
mcimadamore@1415	35	call(()-> { throw new RuntimeException(); }); //ambiguous - both call(Sam0), call(Sam2), call(Sam3) match
mcimadamore@1415	36	}
mcimadamore@1415	37	}