pike.git / src / pike_types.cmod

version» Context lines:

pike.git/src/pike_types.cmod:12262:   #endif    fun_type = fun_type->cdr;    } while(fun_type->type == PIKE_T_FUNCTION);    if (fun_type->type != T_MANY) {    /* Still too few arguments. */    break;    }    /* FALLTHRU */    case T_MANY:    copy_pike_type(res, fun_type->cdr); +  if (!res) { +  /* Upgrade from __unknown__ to mixed +  * when there is an explicit __unknown__. +  * This applies to eg calling the default function type +  * (ie function(mixed...:__unknown__)). +  */ +  copy_pike_type(res, mixed_type_string); +  }    break;       case PIKE_T_OPERATOR:    tmp = apply_type_operator(fun_type->type, fun_type->car, fun_type->cdr);    if (!tmp) {    return NULL;    }    res = new_get_return_type(tmp, flags);    free_type(tmp);    break;