framework/tests/h1h2checker/Primitive.java

import org.checkerframework.framework.testchecker.h1h2checker.quals.*;

public class Primitive {
  @SuppressWarnings("assignment")
  @H1S2 int o = 4;

  @H1S2 @H2Poly int m(@H1S2 @H2Poly int p) {
    return p;
  }

  void use1(@H1S2 @H2S1 int p) {
    @H1S2 @H2S1 int l = m(p);
  }

  void use2(@H1S2 @H2S2 int p) {
    // :: error: (assignment)
    @H1S2 @H2S1 int l = m(p);
  }
}