Tue, 06 Mar 2012 13:28:05 +0000
7144506: Attr.checkMethod should be called after inference variables have been fixed
Summary: Unify post-inference sanity check with Attr.checkMethod
Reviewed-by: jjg, dlsmith
mcimadamore@5 | 1 | /** |
jjg@384 | 2 | * @test /nodynamiccopyright/ |
mcimadamore@5 | 3 | * @bug 6611449 |
mcimadamore@5 | 4 | * @summary Internal Error thrown during generic method/constructor invocation |
jjg@611 | 5 | * @compile/fail/ref=T6611449.out -XDrawDiagnostics T6611449.java |
mcimadamore@5 | 6 | */ |
mcimadamore@5 | 7 | public class T6611449<S> { |
mcimadamore@5 | 8 | |
mcimadamore@29 | 9 | <T extends S> T6611449(T t1) {} |
mcimadamore@5 | 10 | |
mcimadamore@5 | 11 | <T extends S> T6611449(T t1, T t2) {} |
mcimadamore@5 | 12 | |
mcimadamore@29 | 13 | <T extends S> void m1(T t1) {} |
mcimadamore@5 | 14 | |
mcimadamore@29 | 15 | <T extends S> void m2(T t1, T t2) {} |
mcimadamore@5 | 16 | |
mcimadamore@5 | 17 | void test() { |
mcimadamore@29 | 18 | new T6611449<S>(1); |
mcimadamore@29 | 19 | new T6611449<S>(1, 1); //internal error: lub is erroneously applied to primitive types |
mcimadamore@5 | 20 | m1(1); |
mcimadamore@29 | 21 | m2(1, 1); //internal error: lub is erroneously applied to primitive types |
mcimadamore@5 | 22 | } |
mcimadamore@5 | 23 | } |