27 return ""; |
27 return ""; |
28 } |
28 } |
29 } |
29 } |
30 |
30 |
31 void test(Array<String> as, final Array<Character> ac) { |
31 void test(Array<String> as, final Array<Character> ac) { |
32 final boolean b1 = as.forAll(s -> ac.forAll(c -> false)); //ok |
32 final boolean b1 = as.forAll((String s) -> ac.forAll((Character c) -> false)); //ok |
|
33 final boolean b2 = as.forAll(s -> ac.forAll(c -> false)); //ambiguous |
|
34 final boolean b3 = as.forAll((String s) -> ac.forAll(c -> false)); //ambiguous |
|
35 final boolean b4 = as.forAll(s -> ac.forAll((Character c) -> false)); //ambiguous |
33 final String s1 = as.forAll2(s -> ac.forAll2(c -> "")); //ok |
36 final String s1 = as.forAll2(s -> ac.forAll2(c -> "")); //ok |
34 final boolean b2 = as.forAll(s -> ac.forAll(c -> "" )); //fail |
37 final boolean b5 = as.forAll(s -> ac.forAll(c -> "" )); //fail |
35 final String s2 = as.forAll2(s -> ac.forAll2(c -> false)); //fail |
38 final String s2 = as.forAll2(s -> ac.forAll2(c -> false)); //fail |
36 final boolean b3 = as.forAll((F<String, Boolean>)s -> ac.forAll((F<Character, Boolean>)c -> "")); //fail |
39 final boolean b6 = as.forAll((F<String, Boolean>)s -> ac.forAll((F<Character, Boolean>)c -> "")); //fail |
37 final String s3 = as.forAll((FSub<String, String>)s -> ac.forAll((FSub<Character, String>)c -> false)); //fail |
40 final String s3 = as.forAll((FSub<String, String>)s -> ac.forAll((FSub<Character, String>)c -> false)); //fail |
38 } |
41 } |
39 } |
42 } |