checker/tests/nullness-safedefaultssourcecodelib/Lib.java

// A library to be compiled with
//   -AuseConservativeDefaultsForUncheckedCode=source,bytecode
// and then to be read from bytecode.

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

@AnnotatedFor("nullness")
class SdfuscLib {
  static Object unannotated() {
    return new Object();
  }

  static @Nullable Object returnsNullable() {
    return new Object();
  }

  static @NonNull Object returnsNonNull() {
    return new Object();
  }
}

class SdfuscLibNotAnnotatedFor {
  static Object unannotated() {
    return new Object();
  }

  static @Nullable Object returnsNullable() {
    return new Object();
  }

  static @NonNull Object returnsNonNull() {
    return new Object();
  }
}