Nested generics instantiation

[GoogleCodeExporter]

Compiling file checker-framework/checkers/tests/nullness/Issue295.java 
(attached) yields the following error message (edited to remove references to 
initialization, which are irrelevant):

% javac -g Issue295.java -processor checkers.nullness.NullnessChecker
Issue295.java:11: error: incompatible types in assignment.
        Box</*@Nullable*/ T> v = load(f);
                                     ^
  found   : ? extends @NonNull Box<@Nullable T extends @Nullable Object>
  required: @Nullable Box<@Nullable T extends @Nullable Object>

It seems that this should compile cleanly.

Original issue reported on code.google.com by michael.ernst@gmail.com on 18 Dec 2013 at 1:18

Attachments:

• Issue295.java

[GoogleCodeExporter]

This issue was closed by revision d42eb23d51e2.

Original comment by wdi...@gmail.com on 19 Dec 2013 at 10:08

• Changed state: Fixed

[GoogleCodeExporter]

Original comment by wdi...@gmail.com on 19 Dec 2013 at 10:10

• Changed state: Pushed

[GoogleCodeExporter]

Original comment by Jonathan...@gmail.com on 6 Jan 2014 at 6:53

• Changed state: Fixed