expression.unparsable accessing entrySet items after using record property accessor in Collectors.groupingBy

[MichalStehlikCz]

Following test case

class Test {

  private record Data(String value) {

  }

  Test(Collection<Data> data) {
    data.stream().collect(Collectors.groupingBy(Data::value))
        .entrySet().stream()
        .filter(entry -> entry.getValue().size() > 1)
        .forEach(entry -> {
          throw new IllegalArgumentException("Duplicate value " + entry.getKey());
        });
  }
}

fails compilation with java: [expression.unparsable] Expression invalid in dependent type annotation: [error for expression: data.stream().collect(java.util.stream.Collectors.groupingBy(Data::value)); error: Invalid 'Data::value' because class com.github.javaparser.ast.expr.MethodReferenceExpr is not a supported expression]

on line

        .filter(entry -> entry.getValue().size() > 1)

It is expected to compile without warnings

[jyoo980]

Here's a (partially) minimized test case with the necessary imports and the command to execute the Checker Framework

import java.util.stream.Collectors;
import java.util.Collection;

class Test {

  private record Data(String value) { }

  Test(Collection<Data> data) {
    data.stream().collect(Collectors.groupingBy(Data::value))
      .entrySet().stream()
      .filter(entry -> entry.getValue().size() > 1);
  }
}

Command

javac \
-J--add-exports=jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED \
-J--add-exports=jdk.compiler/com.sun.tools.javac.code=ALL-UNNAMED \
-J--add-exports=jdk.compiler/com.sun.tools.javac.file=ALL-UNNAMED \
-J--add-exports=jdk.compiler/com.sun.tools.javac.main=ALL-UNNAMED \
-J--add-exports=jdk.compiler/com.sun.tools.javac.model=ALL-UNNAMED \
-J--add-exports=jdk.compiler/com.sun.tools.javac.processing=ALL-UNNAMED \
-J--add-exports=jdk.compiler/com.sun.tools.javac.tree=ALL-UNNAMED \
-J--add-exports=jdk.compiler/com.sun.tools.javac.util=ALL-UNNAMED \
-J--add-opens=jdk.compiler/com.sun.tools.javac.comp=ALL-UNNAMED \
-processorpath $CHECKERFRAMEWORK/checker/dist/checker.jar \
-cp $CHECKERFRAMEWORK/checker/dist/checker-qual.jar \
-processor org.checkerframework.checker.nullness.NullnessChecker Test.java