checker/tests/nullness/ReceiverAnnotation.java

import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;

public class ReceiverAnnotation {

  void receiver1(ReceiverAnnotation this) {}

  // :: error: (nullness.on.receiver)
  void receiver2(@NonNull ReceiverAnnotation this) {}

  // :: error: (nullness.on.receiver)
  void receiver3(@Nullable ReceiverAnnotation this) {}
}