Mon, 02 Sep 2013 22:38:36 +0100
8016177: structural most specific and stuckness
Reviewed-by: jjg, vromero
Contributed-by: maurizio.cimadamore@oracle.com
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * @test /nodynamiccopyright/ |
aoqi@0 | 3 | * @bug 7005095 |
aoqi@0 | 4 | * @summary Cast: compile reject sensible cast from final class to interface |
aoqi@0 | 5 | * @compile/fail/ref=T7005095neg.out -XDrawDiagnostics T7005095neg.java |
aoqi@0 | 6 | */ |
aoqi@0 | 7 | |
aoqi@0 | 8 | class T7005095pos<T extends Integer> { |
aoqi@0 | 9 | interface Foo<T> {} |
aoqi@0 | 10 | |
aoqi@0 | 11 | static final class FooImpl implements Foo<String> {} |
aoqi@0 | 12 | |
aoqi@0 | 13 | Object o = (Foo<T>) new FooImpl(); |
aoqi@0 | 14 | } |