checker/tests/nullness/KeyForSubst.java

import java.util.List;
import org.checkerframework.checker.nullness.qual.*;

public class KeyForSubst {
  /*
  static class MyClass<T> {
      public T next() { return null; }
  }
  */

  @KeyFor("#1") String getMain(Object m) {
    throw new RuntimeException();
  }

  List<@KeyFor("#1") String> getDeep(Object m) {
    throw new RuntimeException();
  }

  @KeyFor("#1") List<@KeyFor("#2") String> getBoth(Object l, Object m) {
    throw new RuntimeException();
  }

  // OK, I think the annotation on the index is overdoing it, but it works.
  @KeyFor("#1") String @KeyFor("#2") [] getArray(Object l, Object m) {
    throw new RuntimeException();
  }

  public void testAssignMain(Object lastMap) {
    @KeyFor("lastMap") String key = getMain(lastMap);
  }

  public void testAssignDeep(Object lastMap) {
    List<@KeyFor("lastMap") String> key = getDeep(lastMap);
  }

  public void testAssignBoth(Object lastMap, Object newMap) {
    @KeyFor("lastMap") List<@KeyFor("newMap") String> key = getBoth(lastMap, newMap);
  }

  public void testAssignArray(Object lastMap, Object newMap) {
    @KeyFor("lastMap") String @KeyFor("newMap") [] key = getArray(lastMap, newMap);
  }
}