Wed, 14 May 2014 15:41:28 -0600
8034223: Most-specific should not have any special treatment for boxed vs. unboxed types
Summary: Rewrite most-specific logic to conform to JLS 8 15.12.2.5
Reviewed-by: vromero
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * @test /nodynamiccopyright/ |
aoqi@0 | 3 | * @bug 8003280 |
aoqi@0 | 4 | * @summary Add lambda tests |
aoqi@0 | 5 | * check that type-checking fails because of recursive analysis of stuck expressions |
aoqi@0 | 6 | * @compile/fail/ref=TargetType39.out -XDrawDiagnostics TargetType39.java |
aoqi@0 | 7 | */ |
aoqi@0 | 8 | class TargetType39 { |
aoqi@0 | 9 | |
aoqi@0 | 10 | interface I { } |
aoqi@0 | 11 | |
aoqi@0 | 12 | interface SAM<A, R> { |
aoqi@0 | 13 | R m(A a); |
aoqi@0 | 14 | } |
aoqi@0 | 15 | |
aoqi@0 | 16 | <U, V> void call(SAM<U, V> s) { } |
aoqi@0 | 17 | |
aoqi@0 | 18 | void test(boolean cond, SAM<String, Void> ssv) { |
aoqi@0 | 19 | call(cond ? x-> null : ssv); |
aoqi@0 | 20 | call((String s)-> cond ? x-> null : ssv); |
aoqi@0 | 21 | } |
aoqi@0 | 22 | } |