Null pointer exception with Collection

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Open Jianchu opened 8 years ago

Jianchu commented 8 years ago

Will add test case in /testdata/ostrusted/ as pull request once issue number given.

Jianchu commented 8 years ago

Test case for this issue is /testdata/ostrusted/Issue24.java