checker/tests/nullness/Issue1847B.java

import java.util.function.Function;
import org.checkerframework.checker.nullness.qual.Nullable;

public class Issue1847B {
  public void test1() {
    // :: error: (dereference.of.nullable)
    Function<@Nullable String, String> f1 = (@Nullable String myVar) -> myVar.toString();
    {
      String myVar = "hello";
    }
    // :: error: (dereference.of.nullable)
    Function<@Nullable String, String> f2 = (@Nullable String myVar) -> myVar.toString();
  }

  public void test2() {
    // :: error: (dereference.of.nullable)
    Function<String, String> f1 = (@Nullable String myVar) -> myVar.toString();
  }
}