Function erg_compiler::ty::constructors::no_var_fn_met

pub fn no_var_fn_met(
    self_t: Type,
    non_default_params: Vec<ParamTy>,
    default_params: Vec<ParamTy>,
    return_t: Type
) -> Type