checker/tests/nullness/jdkannotations/HashtableTest.java

import java.util.Hashtable;
import org.checkerframework.checker.nullness.qual.Nullable;

public class HashtableTest {

  public static void main(String[] args) {

    // :: error: (type.argument)
    Hashtable<@Nullable Integer, String> ht1 = new Hashtable<>();

    // Suffers null pointer exception
    ht1.put(null, "hello");

    // :: error: (type.argument)
    Hashtable<Integer, @Nullable String> ht2 = new Hashtable<>();

    // Suffers null pointer exception
    ht2.put(42, null);
  }
}