search

typetools / checker-framework-inference

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

remove wrong if-condition to enable polymorphism #42

Closed CharlesZ-Chen closed 8 years ago

CharlesZ-Chen commented 8 years ago

Originally VariableAnnotator#createEquivalentSlotConstraints will not create constant slot for a polymorphic qualifier.

However, this would cause PolyReplacer never replace a polymorphic qualifier by VarAnnot, in which would cause polymorphic qualifier doesn't work.

https://github.com/opprop/checker-framework-inference/blob/master/src/checkers/inference/InferenceQualifierPolymorphism.java#L76

CharlesZ-Chen commented 8 years ago

sorry, wrong place to make PR.