search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

fix an exception with raw types #13

Closed Jianchu closed 8 years ago

smillst commented 8 years ago

Can you add a test case that triggers the exception? The testing framework isn't documented. But it's checker-framework-inference/testdata/. You can run the tests using ant -p tests.xml. I can help add the test, if you can provide example code that triggered the exception.

Jianchu commented 8 years ago

This is the test case that triggers the exception, I tried it with OsTrustedChecker and DebugSolver.

import java.util.*;

public class Test {
    List<String> l = new ArrayList<>();
}
smillst commented 8 years ago

Thanks for the test case!