Fix potential exponential behavior in obligation tracking in Must Cal…

typetools / checker-framework

Pluggable type-checking for Java

http://checkerframework.org/

Other

988 stars 347 forks source link

Fix potential exponential behavior in obligation tracking in Must Cal… #6567

Closed iamsanjaymalakar closed 2 weeks ago

iamsanjaymalakar commented 2 weeks ago

…l Inference; fixes #6566

msridhar commented 2 weeks ago

@mernst does the CI failure on this PR look like flakiness to you?

mernst commented 2 weeks ago

@mernst does the CI failure on this PR look like flakiness to you?

Yes. Errors in "junit_jdk11" and "junit_jdk17" without an error in "junit_jdk21" are almost always CI flakiness. Suzanne and I have not yet figured it out, but I can click the "rerun" button. (For now, there are two minor typos to fix.)