Test.java

import lib.Lib;
import org.checkerframework.checker.nullness.qual.NonNull;

public class Test {
    void m() {
        @NonNull Object o = Lib.maybeGetObject();
    }
}