framework/tests/framework/AssignmentsGeneric.java

import java.util.ArrayList;
import java.util.HashMap;
import java.util.LinkedList;
import java.util.List;
import java.util.Map;
import java.util.Set;
import org.checkerframework.framework.testchecker.util.*;

public class AssignmentsGeneric {

  private static final Map<
          @Odd List<@Odd String>,
          @Odd Map<@Odd Set<@Odd List<@Odd String>>, @Odd List<@Odd Set<@Odd String>>>>
      complex;

  static {
    complex =
        new HashMap<
            @Odd List<@Odd String>,
            @Odd Map<@Odd Set<@Odd List<@Odd String>>, @Odd List<@Odd Set<@Odd String>>>>();
  }

  public void testAssignment() {
    // :: warning: (cast.unsafe)
    @Odd String s = (@Odd String) "";

    List<@Odd String> lst = new LinkedList<>();
    lst = new ArrayList<@Odd String>();

    methodA(lst);
  }

  public void testEnhancedForLoop() {
    List<@Odd String> lst = new LinkedList<>();
    for (@Odd String str : lst) {
      System.out.println(str);
    }
  }

  public void testGenericInvocation() {
    List<@Odd String> lst = new LinkedList<>();
    // :: warning: (cast.unsafe)
    @Odd String s = (@Odd String) "";
    lst.add(s);
  }

  public List<@Odd String> testReturn() {
    return new LinkedList<@Odd String>();
  }

  /* ------------------------------------------------------------ */

  public void methodA(List<@Odd String> lst) {}
}