checker/tests/nullness/Issue372.java

// Test case for Issue 372:
// https://github.com/typetools/checker-framework/issues/372

import java.util.HashMap;
import java.util.Map;
import org.checkerframework.checker.nullness.qual.EnsuresKeyFor;

public class Issue372 {
  private final Map<String, String> labels = new HashMap<>();

  @EnsuresKeyFor(value = "#1", map = "labels")
  void foo(String v) {
    labels.put(v, "");
  }
}