checker/tests/nullness/SuppressDeprecation.java

import org.checkerframework.checker.nullness.qual.*;

class SuppressDeprecationOther {
  @Deprecated
  void old() {}
}

public class SuppressDeprecation {

  @MonotonicNonNull String tz1;

  @SuppressWarnings("deprecation")
  void processOptions(String tz, SuppressDeprecationOther o) {
    tz1 = tz;

    // There should be no deprecation warning here.
    o.old();

    parseTime("hello");
  }

  @RequiresNonNull("tz1")
  void parseTime(String time) {}
}