framework/tests/framework/ArraySubtyping.java

import org.checkerframework.framework.testchecker.util.*;

// @skip-test
public class ArraySubtyping {
  Object[] obj1 = new Object[1];
  @Odd Object[] obj2 = new @Odd Object[1];

  String[] str1 = new String[1];
  @Odd String[] str2 = new @Odd String[1];

  void m() {
    // :: error: (assignment)
    obj1 = obj2;
    // :: error: (assignment)
    obj2 = obj1;

    // :: error: (assignment)
    str1 = str2;
    // :: error: (assignment)
    str2 = str1;

    obj1 = str1;
    obj2 = str2;

    // :: error: (assignment)
    obj1 = str2;
    // :: error: (assignment)
    obj2 = str1;
  }
}