framework/tests/framework/GenericAliasInvalid.java

import java.util.HashSet;
import java.util.List;
import java.util.Map;
import java.util.Set;
import org.checkerframework.framework.testchecker.util.*;

public class GenericAliasInvalid {

  public static class SuperSetOne extends HashSet<@Odd Map<@Odd List<@Odd String>, @Odd String>> {}

  public void test() {
    // :: error: (assignment)
    Set<Map<@Odd List<@Odd String>, @Odd String>> t = new SuperSetOne();
  }
}