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

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

test/tools/javac/lambda/TargetType11.java

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

author

mcimadamore

date

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

changeset 1628

5ddecb91d843

parent 1510

7873d37f5b37

child 2525

2eb010b6cb22

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 that wildcards in the target method of a lambda conversion is handled correctly
mcimadamore@1415	6	* @author Maurizio Cimadamore
mcimadamore@1510	7	* @compile TargetType11.java
mcimadamore@1415	8	*/
mcimadamore@1415	9
mcimadamore@1415	10	class TargetType11 {
mcimadamore@1415	11	interface Predicate<X> {
mcimadamore@1415	12	boolean apply(X c);
mcimadamore@1415	13	}
mcimadamore@1415	14
mcimadamore@1415	15	static class Test {
mcimadamore@1415	16	public <T> Predicate<T> and(Predicate<? super T>... first) { return null; }
mcimadamore@1415	17	public Predicate<Character> forPredicate(Predicate<? super Character> predicate) { return null; }
mcimadamore@1415	18
mcimadamore@1415	19	Predicate<Character> c2 = forPredicate(c -> c.compareTo('e') < 0);
mcimadamore@1415	20	Predicate<Integer> k = and(i -> i > 0, i -> i % 2 == 0);
mcimadamore@1415	21	}
mcimadamore@1415	22	}