Martin Kellogg

This would require the Index Checker to support reasoning about relationships between sequences that are not the same length; i.e., it would require a `@LessThanLen` counter-part to `@SameLen`. I think...

Hi! We'd be happy to have your help. If you're not familiar with the Index Checker, we recommend you do a case study using the tool first - that is,...

This seems like a generic problem with any kind of aliased annotation. What do you suggest we do to solve it? `@IndexFor` does appear in the error message, though I...

> It is a huge code base that i can't share. We've been working on an experimental tool that can generate a small test case from your huge code base,...

I can reproduce the problem with the new reproduction package and I'm looking into it.

I've spent the last few hours investigating this problem, and it seems very serious to me. I'm writing notes here to both document my progress and hopefully get some ideas...

> `AbstractTypeProcessor.AttributionTaskListener#finished` gets called twice for `CMAExample1.java`, corresponding to the two top-level classes in the file. @msridhar thanks for digging into this. The behavior that you've described definitely explains the...

I've confirmed my hypothesis that the crash is triggered by the extends clause, with the following test (with two files): ``` // Test case for https://github.com/typetools/checker-framework/issues/6630. // No assertions; just...

@erfan-arvan if this PR is ready for me to review again, please request another review using the GitHub UI or post a comment that says so.

@erfan-arvan the failures are in the mostly-deprecated JAIF-based WPI mode. I suspect that there is some problem in JAIF-based WPI that prevents it from handling the test file - probably...