checker/tests/nullness/java8/lambda/ParametersInBody.java

// Test that parameter annotations are correct in the body of a lambda

import org.checkerframework.checker.nullness.qual.*;

interface ConsumerLPB {
  void method(@Nullable String s);
}

interface NNConsumerLPB {
  void method(@NonNull String s);
}

class LambdaParamBody {

  // :: error: (dereference.of.nullable)
  ConsumerLPB fn0 = (String i) -> i.toString();
  ConsumerLPB fn2 =
      (@Nullable String i) -> {
        // :: error: (dereference.of.nullable)
        i.toString();
      };
  ConsumerLPB fn3 =
      (String i) -> {
        // :: error: (dereference.of.nullable)
        i.toString();
      };
  ConsumerLPB fn3b =
      (i) -> {
        // :: error: (dereference.of.nullable)
        i.toString();
      };

  NNConsumerLPB fn4 =
      (String i) -> {
        i.toString();
      };
  NNConsumerLPB fn4b =
      (i) -> {
        i.toString();
      };
  NNConsumerLPB fn5 =
      (@Nullable String i) -> {
        // :: error: (dereference.of.nullable)
        i.toString();
      };
  NNConsumerLPB fn6 =
      (@NonNull String i) -> {
        i.toString();
      };
}