Lib.java

// A library to be compiled with
//   -AuseDefaultsForUncheckedCode=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();
    }
}