使用java检查器框架，为什么Map Nonvalues不被接受到Map Nullable value位置？
使用此代码调用：

schema.validate(
            MapMaker.makeMap(
                new AbstractMap.SimpleEntry<>(
                    "foo",
                    "baz"
                ),
                new AbstractMap.SimpleEntry<>(
                    "bar",
                    2
                )
            ),
            configuration
        );

字符串
我得到这个错误：

java: [argument] incompatible argument for parameter arg of validate.
  found   : @Initialized @NonNull Map<@Initialized @NonNull String, @Initialized @NonNull Object>
  required: @Initialized @NonNull Map<@Initialized @NonNull String, @Initialized @Nullable Object>

型
验证方法定义为：public FrozenMap<@Nullable Object> validate(Map<String, @Nullable Object> arg, SchemaConfiguration configuration) throws ValidationException, InvalidTypeException {
任何非空的Object都是可空的Object集合的子集，那么为什么这不起作用呢？我如何让它对不可空的key输入也起作用呢？我需要为可空和不可空的input arg使用不同的输入法签名吗？
我传递给validate方法的参数将仅用于阅读。根据检查器框架javadocs，@Covariant可能是这里的一个解决方案：For example, consider Iterator. A client can read elements but not write them, so Iterator<@Nullable String> can be a subtype of Iterator<String> without introducing a hole in the type system. Therefore, its type parameter is annotated with @Covariant. The first type parameter of Map.Entry is also covariant. Another example would be the type parameter of a hypothetical class ImmutableList.
但这只适用于接口。