type.argument.inference.crashed error with method reference

[msridhar]

Input:

import java.util.*;
import java.util.stream.*;
abstract class BlockTest {
  Set<BasicBlock<?>> iteratedBlocks;
  String test() {
    Collection<? extends BasicBlock<?>> blocks = getBlocks();
    return blocks.stream()
        .filter(n -> !iteratedBlocks.contains(n))
        .map(BasicBlock::getStmts)
        .collect(Collectors.toList())
        .toString();
  }
  interface BasicBlock<V extends BasicBlock<V>> {
    List<Stmt> getStmts();
  }
  interface Stmt {}
  abstract Collection<? extends BasicBlock<?>> getBlocks();
}

I get a type.argument.inference.crashed error with the Tainting Checker:

$ checker-framework/checker/bin/javac -processor tainting BlockTest.java
BlockTest.java:12: error: [type.argument.inference.crashed] Type argument inference crashed for BasicBlock.getStmts
                  .map(BasicBlock::getStmts)
                       ^
  error: An exception occurred:  False bound for: Constraint: ? extends @Tainted Object <= use of a2 Result: FALSE
1 error

We see a similar error with the Resource Leak Checker.