checker/tests/nullness-stubfile/Issue4598.java

// Test case for Issue #4598

import java.util.Objects;
import org.checkerframework.checker.nullness.qual.Nullable;

public class Issue4598 {

  final @Nullable Object d = null;

  public Object foo() {
    Objects.requireNonNull(d, "destination");
    // :: error: (return)
    return d;
  }
}