Fri, 05 Jul 2013 11:04:22 +0100
8016702: use of ternary operator in lambda expression gives incorrect results
Summary: Constant types erroneously creep in during inference
Reviewed-by: jjg, vromero
mcimadamore@1415 | 1 | /* |
mcimadamore@1415 | 2 | * @test /nodynamiccopyright/ |
mcimadamore@1415 | 3 | * @bug 8003280 |
mcimadamore@1415 | 4 | * @summary Add lambda tests |
mcimadamore@1415 | 5 | * certain cases of erroneous member reference lookup are not handled by Attr.visitReference |
mcimadamore@1415 | 6 | * @compile/fail/ref=MethodReference51.out -XDrawDiagnostics MethodReference51.java |
mcimadamore@1415 | 7 | */ |
mcimadamore@1415 | 8 | class MethodReference51 { |
mcimadamore@1415 | 9 | |
mcimadamore@1415 | 10 | private static class Foo { |
mcimadamore@1415 | 11 | static int j(int i) { return i; } |
mcimadamore@1415 | 12 | } |
mcimadamore@1415 | 13 | |
mcimadamore@1415 | 14 | static Foo foo = new Foo(); |
mcimadamore@1415 | 15 | |
mcimadamore@1415 | 16 | static void m(String s) { } |
mcimadamore@1415 | 17 | static void m(Integer i) { } |
mcimadamore@1415 | 18 | |
mcimadamore@1415 | 19 | static int f(String s) { return 1; } |
mcimadamore@1415 | 20 | |
mcimadamore@1415 | 21 | static int g(Integer i, Number n) { return 1; } |
mcimadamore@1415 | 22 | static int g(Number n, Integer i) { return 1; } |
mcimadamore@1415 | 23 | |
mcimadamore@1415 | 24 | int h(int i) { return i; } |
mcimadamore@1415 | 25 | } |
mcimadamore@1415 | 26 | |
mcimadamore@1415 | 27 | class TestMethodReference51 { |
mcimadamore@1415 | 28 | |
mcimadamore@1415 | 29 | interface IntSam { |
mcimadamore@1415 | 30 | int m(int i); |
mcimadamore@1415 | 31 | } |
mcimadamore@1415 | 32 | |
mcimadamore@1415 | 33 | interface IntegerIntegerSam { |
mcimadamore@1415 | 34 | int m(Integer i1, Integer i2); |
mcimadamore@1415 | 35 | } |
mcimadamore@1415 | 36 | |
mcimadamore@1415 | 37 | |
mcimadamore@1415 | 38 | static void test() { |
mcimadamore@1415 | 39 | IntSam s1 = MethodReference51::unknown; //method not found |
mcimadamore@1415 | 40 | IntSam s2 = MethodReference51::f; //inapplicable method |
mcimadamore@1415 | 41 | IntSam s3 = MethodReference51::g; //inapplicable methods |
mcimadamore@1415 | 42 | IntegerIntegerSam s4 = MethodReference51::g; //ambiguous |
mcimadamore@1415 | 43 | IntSam s5 = MethodReference51::h; //static error |
mcimadamore@1415 | 44 | IntSam s6 = MethodReference51.foo::j; //inaccessible method |
mcimadamore@1415 | 45 | } |
mcimadamore@1415 | 46 | } |