DfaNullability (@NotNull DfType type) { return type == DfType.FAIL || type instanceof DfPrimitiveType ? NOT_NULL : type instanceof DfReferenceType ? ((DfReferenceType)type).getNullability() : UNKNOWN; }