Suzanne Millstein

We appreciate bug reports even if they turn out to be duplicates!

This test case was fixed with #979.

Yes, this a bug. For some reason, the code that infers the type arguments for the diamond is ignoring the explicit annotation on the type variable. (The errors disappear with...

This is similar to #1497.

The LessThan Checker is very simple and is only intended to support the Index Checker. This is one way it could be improved.

This is a duplicate of https://github.com/typetools/checker-framework/issues/193. But let's leave this issue open until we at least document this limitation.

This is a duplicate of https://github.com/typetools/checker-framework/issues/1345.

There are bugs in this implementation that once fixed cause infinite recursion, so I'm closing this pull request in favor of https://github.com/typetools/checker-framework/pull/6797

> Could you please update the documentation in the manual as well? > > https://checkerframework.org/manual/#creating-bundling-multiple-checkers talks of "aggregate checkers" and "compound checkers". > How does this fit in? I answered...

> Can you please update the manual? I would like to read the documentation before the code. > > From a comment [comment](https://github.com/typetools/checker-framework/pull/6742?w=1#issuecomment-2275988520) that refers to text that is not...