Make the propagation solver throw an exception if it sees an ExistentialConstraint - Githubissues

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Make the propagation solver throw an exception if it sees an ExistentialConstraint #4

Closed mernst closed 9 years ago

mernst commented 9 years ago

It should not silently continue.