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

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

// Test shadowing of parameters

interface ConsumerS {
  void take(@Nullable String s);
}

interface NNConsumerS {
  void take(String s);
}

public class Shadowed {

  ConsumerS c =
      s -> {
        // :: error: (dereference.of.nullable)
        s.toString();

        class Inner {
          NNConsumerS n =
              s -> {
                // No error
                s.toString();
              };
        }
      };
}