search

biddyweb / checker-framework

Automatically exported from code.google.com/p/checker-framework
Other
0 stars 1 forks source link

Crash on NewClassTree in array initializer #395

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
class Test {

public Object[] testMethod() {
    return new Object[] {
        new ArrayList<String>()
    };
}

}

Original issue reported on code.google.com by mcart...@cs.washington.edu on 29 Jan 2015 at 7:47

GoogleCodeExporter commented 9 years ago 
This issue was closed by revision 7439163ff453.

Original comment by mcart...@cs.washington.edu on 29 Jan 2015 at 8:10

GoogleCodeExporter commented 9 years ago 
David,
is this really reproducing this issue:
https://groups.google.com/d/msg/checker-framework-discuss/dnniR5fe52w/sL0HZE3oGw
EJ
?
This test case doesn't contain a diamond. The diamond would explain the 
"unexpected context: Object [] (ARRAY)" in the stack trace.
Could you also add a case with "new ArrayList<>()" to ensure this is covered?

Original comment by wdi...@gmail.com on 30 Jan 2015 at 2:02

GoogleCodeExporter commented 9 years ago 
Fixed in release 1.8.10 of the Checker Framework.

Original comment by mcart...@cs.washington.edu on 30 Jan 2015 at 10:57

GoogleCodeExporter commented 9 years ago 
Werner,

I've changed the test case.

Original comment by mcart...@cs.washington.edu on 30 Jan 2015 at 11:34