checker/tests/formatter-unchecked-defaults/TestUncheckedByteCode.java

import org.checkerframework.framework.testchecker.lib.UncheckedByteCode;

public class TestUncheckedByteCode {
  Object field;

  void test(UncheckedByteCode<Object> param, Integer i) {
    field = param.getCT();
    field = param.getInt(1);
    field = param.getInteger(i);
    field = param.identity("hello");

    // String and Object are relevant types and must be annotated in bytecode
    // :: error: (argument)
    field = param.getObject(new Object());
    // :: error: (argument)
    field = param.getString("hello");
  }
}