typetools / checker-framework-inference

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

Make InferenceEqualityComparer a proper inner class #149

Closed zcai1 closed 4 years ago

zcai1 commented 4 years ago

This PR is to fix the following bug: InferenceEqualityComparer is not a proper inner class in file InferenceTypeHierarchy, and sometimes the compiled file (InferenceEqualityComparer.class) is missing, causing NoClassDefFoundError.

This could be a bug in Gradle since it is gone after turning off the incremental compilation:

tasks.withType(JavaCompile) {
    options.incremental = false
}

@wmdietl

wmdietl commented 4 years ago

Don't forget to delete your branch, as it is no longer necessary.