checker/tests/nullness/Issue3631.java

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

public class Issue3631 {

  void f(Object otherArg) {
    // Casts aren't a supported JavaExpression.
    // :: error: (contracts.precondition)
    ((Issue3631Helper) otherArg).m();
  }
}

class Issue3631Helper {

  String type = "foo";

  @RequiresNonNull("type")
  void m() {}
}