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

test/tools/javac/lambda/TargetType60.java@93012e2a5d1d (annotated)

test/tools/javac/lambda/TargetType60.java

Sat, 07 Nov 2020 10:30:02 +0800

author

aoqi

date

Sat, 07 Nov 2020 10:30:02 +0800

changeset 3938

93012e2a5d1d

parent 2525

2eb010b6cb22

permissions

-rw-r--r--

Added tag mips-jdk8u275-b01 for changeset eb6ee6a5f2fe

aoqi@0	1	/*
aoqi@0	2	* @test /nodynamiccopyright/
aoqi@0	3	* @bug 8007462
aoqi@0	4	* @summary Fix provisional applicability for method references
aoqi@0	5	* @compile/fail/ref=TargetType60.out -XDrawDiagnostics TargetType60.java
aoqi@0	6	*/
aoqi@0	7	class TargetType60 {
aoqi@0	8
aoqi@0	9	interface Sam0 {
aoqi@0	10	void m();
aoqi@0	11	}
aoqi@0	12
aoqi@0	13	interface Sam1<X> {
aoqi@0	14	void m(X x);
aoqi@0	15	}
aoqi@0	16
aoqi@0	17	interface Sam2<X,Y> {
aoqi@0	18	void m(X x, Y y);
aoqi@0	19	}
aoqi@0	20
aoqi@0	21	void m0() { }
aoqi@0	22	void m1(String s) { }
aoqi@0	23	void m2(String s1, String s2) { }
aoqi@0	24
aoqi@0	25	void m01() { }
aoqi@0	26	void m01(String s) { }
aoqi@0	27
aoqi@0	28	void m012() { }
aoqi@0	29	void m012(String s) { }
aoqi@0	30	void m012(String s1, String s2) { }
aoqi@0	31
aoqi@0	32	void n0() { }
aoqi@0	33	void n1(String s) { }
aoqi@0	34	void n2(TargetType60 rec, String s2) { }
aoqi@0	35
aoqi@0	36	void n01() { }
aoqi@0	37	void n01(String s) { }
aoqi@0	38
aoqi@0	39	void n012() { }
aoqi@0	40	void n012(String s) { }
aoqi@0	41	void n012(TargetType60 rec, String s2) { }
aoqi@0	42
aoqi@0	43	static String g(Sam0 s) { return null; }
aoqi@0	44	static <U> U g(Sam1<U> s) { return null; }
aoqi@0	45	static <U> U g(Sam2<U,String> s) { return null; }
aoqi@0	46
aoqi@0	47	static <U> U u(Sam1<U> s) { return null; }
aoqi@0	48	static <U> U u(Sam2<U,String> s) { return null; }
aoqi@0	49
aoqi@0	50	void testBound() {
aoqi@0	51	String s1 = g(this::m0); //ok - resolves to g(Sam0)
aoqi@0	52	String s2 = g(this::m1); //ok - resolves to g(Sam1)
aoqi@0	53	String s3 = g(this::m2); //ok - resolves to g(Sam2)
aoqi@0	54	String s4 = g(this::m01);//ambiguous (g(Sam0), g(Sam1) apply)
aoqi@0	55	String s5 = g(this::m012);//ambiguous (g(Sam0), g(Sam1), g(Sam2) apply)
aoqi@0	56	}
aoqi@0	57
aoqi@0	58	static void testUnbound() {
aoqi@0	59	TargetType60 s1 = u(TargetType60::n0); //ok - resolves to u(Sam1)
aoqi@0	60	TargetType60 s2 = u(TargetType60::n1); //ok - resolves to u(Sam2)
aoqi@0	61	TargetType60 s3 = u(TargetType60::n2); //none is applicable
aoqi@0	62	TargetType60 s4 = u(TargetType60::n01);//ambiguous (u(Sam1), u(Sam2) apply)
aoqi@0	63	TargetType60 s5 = u(TargetType60::n012);//ambiguous (u(Sam1), u(Sam2) apply)
aoqi@0	64	}
aoqi@0	65	}