GenericAliasInvalidCall.java

import checkers.util.test.*;
import java.util.*;

public class GenericAliasInvalidCall {

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

    }

    public void test() {
        Set<@Odd Map<@Odd List<@Odd String>, @Odd String>> s = new SuperSetOne();
        @Odd Map<List<@Odd String>, @Odd String> mapA =
            new @Odd HashMap<List<@Odd String>, @Odd String>();
        //:: (argument.type.incompatible)
        s.add(mapA);
    }
}