AssertionError during type argument inference

[GoogleCodeExporter]

What steps will reproduce the problem?
Compile the attached Java class using `javac -processor 
org.checkerframework.checker.nullness.NullnessChecker -version -verbose 
-AprintErrorStack -AprintAllQualifiers StringUtil.java`

What is the expected output? What do you see instead?
I expect the compilation to complete successfully. Instead, an AssertionError 
is thrown. See the attached compiler output.

What version of the product are you using? On what operating system?
I built the "trunk" versions of jsr308-langtools, annotation-tools and 
checker-framework from source, as described in the manual, using jdk1.8.0_31. 
I'm running linux.

Please provide any additional information below.
Didn't try to debug the issue beyond providing this minimal (?) test case, 
sorry.

Original issue reported on code.google.com by stephan...@gmail.com on 28 Feb 2015 at 10:53

Attachments:

• StringUtil.java
• StringUtil-compiler-output.txt

[GoogleCodeExporter]

The log shows that I used version 1.8.9. Turns out this is because I used an 
old checkout of the code and performed only an `hg pull`, without an `hg 
update`. I just *properly* updated the working directory and re-ran the test 
using version 1.8.11. Can confirm the ticket is still valid.

Original comment by stephan...@gmail.com on 4 Mar 2015 at 9:52

[GoogleCodeExporter]

Thanks for the bug report! I verified that the issue still occurs in our 
working repository.

Original comment by wdi...@gmail.com on 17 Mar 2015 at 4:30

• Changed title: AssertionError during type argument inference
• Changed state: Accepted

[GoogleCodeExporter]

Original comment by Jonathan...@gmail.com on 8 Apr 2015 at 9:55

• Changed state: Pushed

[GoogleCodeExporter]

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

• Changed state: Fixed