Suzanne Millstein

This test case is comment `framework/tests/all-systems/Issue6725.java`.

Thanks. I was able to reproduce this with the follow class: ``` package typearginfer; import java.sql.ResultSet; import java.sql.SQLException; import java.util.Arrays; import java.util.Collection; import java.util.Iterator; import java.util.Optional; import java.util.Set; import java.util.stream.Collectors;...

Thanks for the detailed report. I agree this is likely related to improvements to type argument inference (#979). We'll try to see if we can speed this up.

> I had the same error and was able to compile successfully just now. Issue was with generics and "redundant" casts (which checker seems to require). > > Following code...

> I finally got the issue fixed. I had to delete all files and revert one by one to check the source of the error Sorry it was so difficult...

Sorry you're having problems. I can't reproduce this crash with the information you have provide. This error: ``` [elided]: error: [type.arguments.not.inferred] Could not infer type arguments for SimpleEntry.getKey .collect(groupingBy(SimpleEntry::getKey, mapping(SimpleEntry::getValue,...

https://github.com/typetools/checker-framework/pull/6764 added a work around so that this code no longer crashes.

@agentgt The `type.arguments.not.inferred` error is a bug. The `error: StructuralEqualityComparer: unexpected combination:..` is also a bug, but I can't reproduce it.

> @smillst happy to try to setup a small reproducible project if that helps? For the `error: StructuralEqualityComparer: unexpected combination:..` error? That would be helpful. If you do please submit...

The parse error is: `MethodReferenceExpr is not a supported expression`, which is legitimate, but inference should just infer `@UnknownKeyFor` instead of an annotation with a parse error.