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

// The location of a lambda affects locating the annotation for the lambda.

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

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

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

class LambdaParam {

  NullConsumer fn1 =
      // :: error: (lambda.param)
      (@NonNull String i) -> {};
  NullConsumer fn2 = (@Nullable String i) -> {};
  NullConsumer fn3 = (String i) -> {};
  NNConsumer fn4 = (String i) -> {};
  NNConsumer fn5 = (@Nullable String i) -> {};
  NNConsumer fn6 = (@NonNull String i) -> {};

  // Initializer blocks with annotations don't work yet because of javac compiler bug.
  // https://bugs.openjdk.java.net/browse/JDK-8056970
  //    {
  //          // :: error: (lambda.param)
  //        NullConsumer fn1 = (@NonNull String i) -> {};
  //        NullConsumer fn2 = (@Nullable String i) -> {};
  //        NullConsumer fn3 = (String i) -> {};
  //        NNConsumer fn4 = (String i) -> {};
  //        NNConsumer fn5 = (@Nullable String i) -> {};
  //        NNConsumer fn6 = (@NonNull String i) -> {};
  //    }
  //
  //    static {
  //          // :: error: (lambda.param)
  //        NullConsumer fn1 = (@NonNull String i) -> {};
  //        NullConsumer fn2 = (@Nullable String i) -> {};
  //        NullConsumer fn3 = (String i) -> {};
  //        NNConsumer fn4 = (String i) -> {};
  //        NNConsumer fn5 = (@Nullable String i) -> {};
  //        NNConsumer fn6 = (@NonNull String i) -> {};
  //    }

  static void foo() {
    NullConsumer fn1 =
        // :: error: (lambda.param)
        (@NonNull String i) -> {};
    NullConsumer fn2 = (@Nullable String i) -> {};
    NullConsumer fn3 = (String i) -> {};
    NNConsumer fn4 = (String i) -> {};
    NNConsumer fn5 = (@Nullable String i) -> {};
    NNConsumer fn6 = (@NonNull String i) -> {};
  }

  void bar() {
    NullConsumer fn1 =
        // :: error: (lambda.param)
        (@NonNull String i) -> {};
    NullConsumer fn2 = (@Nullable String i) -> {};
    NullConsumer fn3 = (String i) -> {};
    NNConsumer fn4 = (String i) -> {};
    NNConsumer fn5 = (@Nullable String i) -> {};
    NNConsumer fn6 = (@NonNull String i) -> {};
  }
}