private static @Nullable DfaValue unmodifiableView(@NotNull DfaCallArguments arguments,
                                                     @NotNull DfaValueFactory factory,
                                                     @NotNull PsiMethod method) {
    if (arguments.myArguments.length != 1) return null;
    return factory.getWrapperFactory().createWrapper(
      typedObject(method.getReturnType(), Nullability.NOT_NULL).meet(Mutability.UNMODIFIABLE_VIEW.asDfType()),
      COLLECTION_SIZE, COLLECTION_SIZE.createValue(factory, arguments.myArguments[0]));
  }
private static @Nullable DfaValue unmodifiableView(@NotNull DfaCallArguments arguments,
                                                     @NotNull DfaValueFactory factory,
                                                     @NotNull PsiMethod method)