checker/tests/nullness/ExceptionParam.java

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

/** Exception parameters are non-null, even if the default is nullable. */
@DefaultQualifier(org.checkerframework.checker.nullness.qual.Nullable.class)
public class ExceptionParam {
  void exc1() {
    try {
    } catch (AssertionError e) {
      @NonNull Object o = e;
    }
  }

  void exc2() {
    try {
      // :: warning: (nullness.on.exception.parameter)
    } catch (@NonNull AssertionError e) {
      @NonNull Object o = e;
    }
  }

  void exc3() {
    try {
      // :: warning: (nullness.on.exception.parameter)
    } catch (@Nullable AssertionError e) {
      @NonNull Object o = e;
    }
  }
}