ctolkmit / checker-framework

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

unexpected Throwable (AssertionError) #369

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
What steps will reproduce the problem?
1. Run the Null Checker on the class below
package test;

import static java.util.stream.Collectors.toSet;

import java.util.stream.Stream;

class Test {
    static void test(Stream<Integer> stream) {
        stream.collect(toSet());
    }
}

What is the expected output? What do you see instead?
expected: no errors
actual:error: SourceChecker.typeProcess: unexpected Throwable (AssertionError) 
while processing Test.java; message: PolyCollector: mismatched type kinds: 
@Initialized @NonNull Integer (DECLARED) and ? super @Initialized @NonNull 
Integer extends @Initialized @NonNull Object (WILDCARD); invoke the compiler 
with -AprintErrorStack to see the stack trace.
1 error

What version of the product are you using? On what operating system?
1.8.6/Windows 8/Java 8

Original issue reported on code.google.com by ClovisSe...@gmail.com on 28 Sep 2014 at 5:26

GoogleCodeExporter commented 9 years ago
I have reproduced this change and added the test file 
checker/tests/nullness/Issue369.java

Original comment by mcart...@cs.washington.edu on 19 Nov 2014 at 10:55

GoogleCodeExporter commented 9 years ago

Original comment by mcart...@cs.washington.edu on 19 Nov 2014 at 11:16

GoogleCodeExporter commented 9 years ago
I have made this 
// @below-java8-jdk-skip-test

Original comment by Jonathan...@gmail.com on 8 Apr 2015 at 10:42

GoogleCodeExporter commented 9 years ago

Original comment by jtha...@cs.washington.edu on 18 Apr 2015 at 6:42