checker/tests/nullness/Issue4593.java

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

// @skip-test until the bug is fixed

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

public class Issue4593 {

  void getContext(@Nullable String nble) {
    Map<String, @Nullable Object> map = new HashMap<>();
    map.put("configDir", nble);
  }

  void getContextWithVar(@Nullable String nble) {
    var map = new HashMap<String, @Nullable Object>();
    map.put("configDir", nble);
  }
}