move lots of source files around to match their actual placement in the original treemain

1 files changed, 0 insertions, 1383 deletions

diff --git a/compiler_and_linker/unsorted/CTemplateFunc.c b/compiler_and_linker/unsorted/CTemplateFunc.c
deleted file mode 100644
index 3c5de98..0000000
--- a/compiler_and_linker/unsorted/CTemplateFunc.c
+++ /dev/null
@@ -1,1383 +0,0 @@
-#include "compiler/CTemplateFunc.h"
-#include "compiler/CABI.h"
-#include "compiler/CDecl.h"
-#include "compiler/CError.h"
-#include "compiler/CExpr.h"
-#include "compiler/CInline.h"
-#include "compiler/CInt64.h"
-#include "compiler/CParser.h"
-#include "compiler/CTemplateTools.h"
-#include "compiler/CompilerTools.h"
-#include "compiler/objects.h"
-#include "compiler/scopes.h"
-#include "compiler/templates.h"
-#include "compiler/types.h"
-
-static Boolean ctempl_conversion_deduction;
-static UInt8 ctempl_explicitargs_nindex;
-static int ctempl_explicitargs_num;
-static Boolean ctempl_explicitargs_all;
-
-// forward decls
-static Boolean CTempl_DeduceTypeTemplDep(TypeTemplDep *type1, UInt32 qual1, Type *type2, UInt32 qual2, TemplArg *argArray, Boolean flag);
-static Boolean CTempl_DeduceType1(Type *type1, UInt32 qual1, Type *type2, UInt32 qual2, TemplArg *argArray, Boolean flag);
-
-static void CTemplFunc_SetupTypeDeduce(TypeDeduce *deduce, TemplateFunction *templ, TemplArg *args) {
-    memclrw(deduce, sizeof(TypeDeduce));
-    if (templ->tfunc->nspace->theclass && (templ->tfunc->nspace->theclass->flags & CLASS_IS_TEMPL))
-        deduce->tmclass = TEMPL_CLASS(templ->tfunc->nspace->theclass);
-    deduce->params = templ->params;
-    deduce->args = args;
-}
-
-Boolean CTempl_CanDeduceFunc(Object *object, TypeFunc *tfunc, TemplArg *args) {
-    DeduceInfo info;
-    int i;
-
-    if (CTemplTool_InitDeduceInfo(&info, CTemplTool_GetFuncTempl(object)->params, args, 0)) {
-        if (CTempl_DeduceType(object->type, 0, TYPE(tfunc), 0, info.args, 0, 0)) {
-            for (i = 0; i < info.maxCount; i++) {
-                if (!info.args[i].is_deduced)
-                    return 0;
-            }
-            return 1;
-        }
-    }
-
-    return 0;
-}
-
-static TemplFuncInstance *CTempl_GetCreateFuncInstance(Object *funcobj, TemplArg *args, Object *object2) {
-    TemplFuncInstance *inst;
-    TemplateFunction *templ;
-    Object *instobj;
-    TemplParam *param;
-    TemplArg *arg;
-    TemplArg *last;
-    short paramCount;
-    short i;
-    TypeDeduce deduce;
-
-    templ = CTemplTool_GetFuncTempl(funcobj);
-
-    paramCount = 0;
-    param = templ->params;
-    while (param) {
-        param = param->next;
-        paramCount++;
-    }
-
-    for (i = 1, arg = args; i < paramCount; i++, arg++)
-        arg->next = arg + 1;
-    arg->next = NULL;
-
-    for (inst = templ->instances; inst; inst = inst->next) {
-        if (CTemplTool_EqualArgs(inst->args, args)) {
-            if (object2)
-                inst->object = object2;
-            return inst;
-        }
-    }
-
-    inst = galloc(sizeof(TemplFuncInstance));
-    memclrw(inst, sizeof(TemplFuncInstance));
-
-    for (i = 0, arg = NULL; i < paramCount; i++) {
-        if (arg) {
-            last->next = galloc(sizeof(TemplArg));
-            last = last->next;
-        } else {
-            last = galloc(sizeof(TemplArg));
-            arg = last;
-        }
-
-        *last = *args;
-        last->next = NULL;
-        args++;
-
-        if (last->pid.type == TPT_NONTYPE) {
-            CError_ASSERT(114, last->data.paramdecl.expr);
-            last->data.paramdecl.expr = CInline_CopyExpression(last->data.paramdecl.expr, CopyMode1);
-        }
-    }
-
-    inst->args = arg;
-    inst->next = templ->instances;
-    templ->instances = inst;
-
-    if (!object2) {
-        instobj = CParser_NewFunctionObject(NULL);
-        instobj->access = funcobj->access;
-        instobj->nspace = funcobj->nspace;
-        instobj->sclass = funcobj->sclass;
-        instobj->qual = funcobj->qual | Q_MANGLE_NAME;
-        instobj->name = templ->name;
-        instobj->u.func.inst = inst;
-
-        CTemplFunc_SetupTypeDeduce(&deduce, templ, inst->args);
-        if (funcobj->nspace->theclass && (funcobj->nspace->theclass->flags & CLASS_IS_TEMPL_INST)) {
-            deduce.tmclass = TEMPL_CLASS_INST(funcobj->nspace->theclass)->templ;
-            deduce.inst = TEMPL_CLASS_INST(funcobj->nspace->theclass);
-        }
-
-        instobj->type = CTemplTool_DeduceTypeCopy(&deduce, funcobj->type, &instobj->qual);
-        inst->object = instobj;
-
-        if (IS_TYPE_FUNC(instobj->type)) {
-            TYPE_FUNC(instobj->type)->flags &= ~FUNC_DEFINED;
-            if (TYPE_FUNC(instobj->type)->flags & FUNC_IS_CTOR) {
-                FuncArg *funcarg;
-                CError_ASSERT(152, TYPE_FUNC(instobj->type)->flags & FUNC_METHOD);
-                CError_ASSERT(153, funcarg = TYPE_FUNC(instobj->type)->args);
-
-                if (TYPE_METHOD(instobj->type)->theclass->flags & CLASS_HAS_VBASES)
-                    CError_ASSERT(156, funcarg = funcarg->next);
-
-                if (funcarg->next)
-                    CDecl_CheckCtorIntegrity(funcarg->next, TYPE_METHOD(instobj->type)->theclass);
-            }
-        }
-
-        if ((instobj->qual & Q_INLINE) && templ->stream.tokens)
-            CInline_AddTemplateFunctionAction(instobj, templ, inst);
-
-    } else {
-        inst->object = object2;
-    }
-
-    return inst;
-}
-
-TemplFuncInstance *CTempl_CheckFuncInstance(Object *object1, TypeFunc *tfunc, TemplArg *args, Object *object2) {
-    DeduceInfo info;
-    int i;
-
-    if (!CTemplTool_InitDeduceInfo(&info, CTemplTool_GetFuncTempl(object1)->params, args, 1))
-        return NULL;
-
-    if (!CTempl_DeduceType(object1->type, 0, TYPE(tfunc), 0, info.args, 0, 0))
-        return NULL;
-
-    i = 0;
-    while (i < info.maxCount) {
-        if (!info.args[i++].is_deduced)
-            return NULL;
-    }
-
-    return CTempl_GetCreateFuncInstance(object1, info.args, object2);
-}
-
-TemplFuncInstance *CTempl_DeduceFunc(Object *object1, TypeFunc *tfunc, TemplArg *args, Object *object2, Boolean flag) {
-    return CTempl_CheckFuncInstance(object1, tfunc, args, object2);
-}
-
-static Boolean CTempl_FuncIsAtLeastAsSpecialized(Object *func1, Object *func2) {
-    int i;
-    FuncArg *arg1;
-    FuncArg *arg2;
-    Type *type1;
-    Type *type2;
-    UInt32 qual1;
-    UInt32 qual2;
-    DeduceInfo info;
-
-    arg1 = TYPE_FUNC(func2->type)->args;
-    if (IS_TYPEFUNC_NONSTATIC_METHOD(TYPE_FUNC(func2->type)))
-        arg1 = arg1->next;
-
-    i = 0;
-    while (1) {
-        if (!arg1)
-            break;
-        CError_ASSERT(231, arg1->type != &stvoid);
-        if (arg1 == &elipsis)
-            break;
-        if (arg1 == &oldstyle)
-            break;
-        arg1 = arg1->next;
-        i++;
-    }
-
-    if (!CTemplTool_InitDeduceInfo(&info, CTemplTool_GetFuncTempl(func2)->params, NULL, 0))
-        return 0;
-
-    arg1 = TYPE_FUNC(func1->type)->args;
-    if (IS_TYPEFUNC_NONSTATIC_METHOD(TYPE_FUNC(func1->type)))
-        arg1 = arg1->next;
-
-    arg2 = TYPE_FUNC(func2->type)->args;
-    if (IS_TYPEFUNC_NONSTATIC_METHOD(TYPE_FUNC(func2->type)))
-        arg2 = arg2->next;
-
-    while (i > 0) {
-        if (!arg1)
-            break;
-        if (arg1 == &elipsis)
-            break;
-        if (arg1 == &oldstyle)
-            break;
-
-        CError_ASSERT(255, arg2);
-
-        type1 = arg1->type;
-        qual1 = arg1->qual & (Q_CONST | Q_VOLATILE);
-        qual2 = arg2->qual & (Q_CONST | Q_VOLATILE);
-        type2 = arg2->type;
-
-        if (!CTemplTool_IsTemplateArgumentDependentType(type2)) {
-            if (IS_TYPE_REFERENCE(type1))
-                type1 = TPTR_TARGET(type1);
-            type1 = CParser_RemoveTopMostQualifiers(type1, &qual1);
-
-            if (IS_TYPE_REFERENCE(type2))
-                type2 = TPTR_TARGET(type2);
-            type2 = CParser_RemoveTopMostQualifiers(type2, &qual2);
-
-            if (!is_typesame(type1, type2) || qual1 != qual2)
-                return 0;
-        } else {
-            if (!CTempl_DeduceType(type2, qual2, type1, qual1, info.args, 0, 0))
-                return 0;
-        }
-
-        arg1 = arg1->next;
-        arg2 = arg2->next;
-        i--;
-    }
-
-    return 1;
-}
-
-Boolean CTempl_FuncIsMoreSpecialized(Object *object1, Object *object2) {
-    return CTempl_FuncIsAtLeastAsSpecialized(object1, object2) && !CTempl_FuncIsAtLeastAsSpecialized(object2, object1);
-}
-
-Object *CTempl_PartialOrdering(Object *object, ObjectList *list, int count) {
-    int i;
-    int j;
-    Object **array;
-    ObjectList *scan;
-    Object *arrayBuffer[16];
-
-    for (count = 1, scan = list; scan; scan = scan->next) {
-        if (IS_TEMPL_FUNC(scan->object->type))
-            count++;
-    }
-
-    if (count > 16)
-        array = lalloc(sizeof(Object *) * count);
-    else
-        array = arrayBuffer;
-
-    array[0] = object;
-    for (i = 1, scan = list; scan; scan = scan->next) {
-        if (IS_TEMPL_FUNC(scan->object->type))
-            array[i++] = scan->object;
-    }
-
-    for (i = 0; i < count; i++) {
-        if (array[i]) {
-            for (j = 0; j < count; j++) {
-                if (array[j] && i != j && CTempl_FuncIsMoreSpecialized(array[i], array[j]))
-                    array[j] = NULL;
-            }
-        }
-    }
-
-    object = NULL;
-
-    for (i = 0; i < count; i++) {
-        if (array[i]) {
-            if (object)
-                return NULL;
-            object = array[i];
-        }
-    }
-
-    return object;
-}
-
-int CTempl_GetTemplateArgumentExpressionIndex(TemplArg *arg) {
-    CError_ASSERT(529, arg->data.paramdecl.expr);
-
-    if (ENODE_IS(arg->data.paramdecl.expr, ETEMPLDEP) && arg->data.paramdecl.expr->data.templdep.subtype == TDE_PARAM)
-        return arg->data.paramdecl.expr->data.templdep.u.pid.index;
-
-    return -1;
-}
-
-static Type *CTempl_GetSpecifiedType(TemplateFunction *templ, Type *type, UInt32 qual, TemplArg *args, UInt32 *resultQual) {
-    TypeDeduce deduce;
-
-    CTemplFunc_SetupTypeDeduce(&deduce, templ, args);
-    *resultQual = qual;
-    return CTemplTool_DeduceTypeCopy(&deduce, type, resultQual);
-}
-
-static Boolean CTempl_DeduceTemplateArgs(TemplArg *args1, TemplArg *args2, TemplArg *argArray) {
-    int index;
-
-    while (1) {
-        if (!args1)
-            return !args2;
-        if (!args2)
-            return 0;
-
-        if (args1->pid.type != args2->pid.type)
-            return 0;
-
-        switch (args1->pid.type) {
-            case TPT_TYPE:
-                if (!CTempl_DeduceType1(
-                    args1->data.typeparam.type, args1->data.typeparam.qual,
-                    args2->data.typeparam.type, args2->data.typeparam.qual,
-                    argArray, 1
-                    ))
-                    return 0;
-                break;
-
-            case TPT_NONTYPE:
-                if (CTemplTool_IsTemplateArgumentDependentExpression(args1->data.paramdecl.expr)) {
-                    index = CTempl_GetTemplateArgumentExpressionIndex(args1);
-                    if (index < 0)
-                        return 1;
-
-                    if (argArray[index].is_deduced) {
-                        if (!CTemplTool_EqualExprTypes(args2->data.paramdecl.expr, argArray[index].data.paramdecl.expr))
-                            return 0;
-                    } else {
-                        argArray[index].data.paramdecl.expr = args2->data.paramdecl.expr;
-                        argArray[index].pid.type = TPT_NONTYPE;
-                        argArray[index].is_deduced = 1;
-                    }
-                } else {
-                    if (!CTemplTool_EqualExprTypes(args2->data.paramdecl.expr, args1->data.paramdecl.expr))
-                        return 0;
-                }
-                break;
-
-            case TPT_TEMPLATE:
-                if (!IS_TEMPL_CLASS(args2->data.ttargtype))
-                    return 0;
-
-                index = args1->pid.index;
-                if (argArray[index].is_deduced) {
-                    if (args2->data.ttargtype != argArray[index].data.ttargtype)
-                        return 0;
-                } else {
-                    argArray[index].data.ttargtype = args2->data.ttargtype;
-                    argArray[index].pid.type = TPT_TEMPLATE;
-                    argArray[index].is_deduced = 1;
-                }
-                break;
-
-            default:
-                CError_FATAL(640);
-        }
-
-        args1 = args1->next;
-        args2 = args2->next;
-    }
-}
-
-static Boolean CTempl_DeduceTemplDepTemplate(TemplClass *templ1, TemplArg *args1, TemplClass *templ2, TemplArg *args2, TemplArg *argArray) {
-    if (templ1 != templ2)
-        return 0;
-
-    return CTempl_DeduceTemplateArgs(args2, args1, argArray);
-}
-
-static Boolean CTempl_DeduceTemplateType(TemplClass *templ, TemplArg *args, TemplClassInst *inst, TemplArg *argArray) {
-    TemplClassInst *scan;
-
-    for (scan = templ->instances; scan; scan = scan->next) {
-        if (scan == inst)
-            return CTempl_DeduceTemplateArgs(args, scan->oargs ? scan->oargs : scan->inst_args, argArray);
-    }
-
-    return 0;
-}
-
-static Boolean CTempl_DeduceTemplateTypeBase(TemplClass *templ, TemplArg *args, TemplClassInst *inst, TemplArg *argArray, Boolean flag) {
-    ClassList *base;
-
-    if (CTempl_DeduceTemplateType(templ, args, inst, argArray))
-        return 1;
-
-    if (flag) {
-        for (base = inst->theclass.bases; base; base = base->next) {
-            if (CTempl_DeduceTemplateType(templ, args, TEMPL_CLASS_INST(base->base), argArray)) {
-                ctempl_conversion_deduction = 1;
-                return 1;
-            }
-        }
-
-        for (base = inst->theclass.bases; base; base = base->next) {
-            if (CTempl_DeduceTemplateTypeBase(templ, args, TEMPL_CLASS_INST(base->base), argArray, 1)) {
-                ctempl_conversion_deduction = 1;
-                return 1;
-            }
-        }
-    }
-
-    return 0;
-}
-
-static Boolean CTempl_DeduceQualTemplate(TypeTemplDep *type1, TemplArg *args1, Type *type2, TemplArg *argArray) {
-    int index;
-
-    if (type1->dtype == TEMPLDEP_ARGUMENT && type1->u.pid.type == TPT_TEMPLATE) {
-        index = type1->u.pid.index;
-        if (IS_TEMPL_CLASS_INST(type2)) {
-            if (argArray[index].is_deduced) {
-                if (argArray[index].data.ttargtype != TYPE(TEMPL_CLASS_INST(type2)->templ))
-                    return 0;
-            } else {
-                argArray[index].data.ttargtype = TYPE(TEMPL_CLASS_INST(type2)->templ);
-                argArray[index].pid.type = TPT_TEMPLATE;
-                argArray[index].is_deduced = 1;
-            }
-
-            return CTempl_DeduceTemplateArgs(args1, TEMPL_CLASS_INST(type2)->inst_args, argArray);
-        }
-
-        if (IS_TYPE_TEMPLATE(type2)) {
-            if (TYPE_TEMPLATE(type2)->dtype == TEMPLDEP_TEMPLATE) {
-                if (argArray[index].is_deduced) {
-                    if (argArray[index].data.ttargtype != TYPE(TYPE_TEMPLATE(type2)->u.templ.templ))
-                        return 0;
-                } else {
-                    argArray[index].data.ttargtype = TYPE(TYPE_TEMPLATE(type2)->u.templ.templ);
-                    argArray[index].pid.type = TPT_TEMPLATE;
-                    argArray[index].is_deduced = 1;
-                }
-
-                return CTempl_DeduceTemplateArgs(args1, TYPE_TEMPLATE(type2)->u.templ.args, argArray);
-            }
-
-            if (TYPE_TEMPLATE(type2)->dtype == TEMPLDEP_QUALTEMPL) {
-                return
-                    CTempl_DeduceTypeTemplDep(type1, 0, TYPE(TYPE_TEMPLATE(type2)->u.qualtempl.type), 0, argArray, 1) &&
-                    CTempl_DeduceTemplateArgs(args1, TYPE_TEMPLATE(type2)->u.qualtempl.args, argArray);
-            }
-        }
-    }
-
-    return 0;
-}
-
-static Boolean CTempl_DeduceTypeTemplDep(TypeTemplDep *type1, UInt32 qual1, Type *type2, UInt32 qual2, TemplArg *argArray, Boolean flag) {
-    Type *tmptype;
-    UInt32 tmpqual;
-    short index;
-    Boolean f;
-    UInt32 modqual;
-
-    switch (type1->dtype) {
-        case TEMPLDEP_ARGUMENT:
-            index = type1->u.pid.index;
-            tmptype = type2;
-            if (type1->u.pid.type == TPT_TEMPLATE) {
-                if (argArray[index].is_deduced) {
-                    if (!is_typesame(tmptype, argArray[index].data.ttargtype))
-                        return 0;
-                } else {
-                    argArray[index].data.ttargtype = type2;
-                    argArray[index].pid.type = TPT_TEMPLATE;
-                    argArray[index].is_deduced = 1;
-                }
-                return 1;
-            }
-
-            switch (type2->type) {
-                case TYPEPOINTER:
-                    tmpqual = qual2;
-                    f = 0;
-                    qual2 = TPTR_QUAL(type2);
-                    modqual = qual2;
-
-                    if ((modqual & Q_CONST) && (qual1 & Q_CONST)) {
-                        modqual &= ~Q_CONST;
-                        f = 1;
-                    }
-                    if ((modqual & Q_VOLATILE) && (qual1 & Q_VOLATILE)) {
-                        modqual &= ~Q_VOLATILE;
-                        f = 1;
-                    }
-
-                    if (f) {
-                        tmptype = galloc(sizeof(TypePointer));
-                        *TYPE_POINTER(tmptype) = *TYPE_POINTER(type2);
-                        TPTR_QUAL(tmptype) = modqual;
-                    }
-
-                    if (flag && (qual2 | modqual) != (qual1 | modqual))
-                        return 0;
-
-                    break;
-
-                case TYPEMEMBERPOINTER:
-                    tmpqual = qual2;
-                    f = 0;
-                    qual2 = TYPE_MEMBER_POINTER(type2)->qual;
-                    modqual = qual2;
-
-                    if ((modqual & Q_CONST) && (qual1 & Q_CONST)) {
-                        modqual &= ~Q_CONST;
-                        f = 1;
-                    }
-                    if ((modqual & Q_VOLATILE) && (qual1 & Q_VOLATILE)) {
-                        modqual &= ~Q_VOLATILE;
-                        f = 1;
-                    }
-
-                    if (f) {
-                        tmptype = galloc(sizeof(TypeMemberPointer));
-                        *TYPE_MEMBER_POINTER(tmptype) = *TYPE_MEMBER_POINTER(type2);
-                        TYPE_MEMBER_POINTER(tmptype)->qual = modqual;
-                    }
-
-                    if (flag && (qual2 | modqual) != (qual1 | modqual))
-                        return 0;
-
-                    break;
-
-                default:
-                    tmpqual = 0;
-                    if ((qual2 & Q_CONST) && !(qual1 & Q_CONST))
-                        tmpqual |= Q_CONST;
-                    if ((qual2 & Q_VOLATILE) && !(qual1 & Q_VOLATILE))
-                        tmpqual |= Q_VOLATILE;
-
-                    if (flag && (qual2 | tmpqual) != (qual1 | tmpqual))
-                        return 0;
-            }
-
-            if (argArray[index].is_deduced) {
-                if (!is_typesame(tmptype, argArray[index].data.typeparam.type) || tmpqual != argArray[index].data.typeparam.qual)
-                    return 0;
-            } else {
-                argArray[index].data.typeparam.type = tmptype;
-                argArray[index].data.typeparam.qual = tmpqual;
-                argArray[index].pid.type = TPT_TYPE;
-                argArray[index].is_deduced = 1;
-            }
-            return 1;
-
-        case TEMPLDEP_QUALNAME:
-            return 1;
-
-        case TEMPLDEP_TEMPLATE:
-            if (IS_TYPE_CLASS(type2))
-                return CTempl_DeduceTemplateTypeBase(
-                    type1->u.templ.templ, type1->u.templ.args,
-                    TEMPL_CLASS_INST(type2), argArray, 0);
-
-            if (IS_TYPE_TEMPLATE(type2) && TYPE_TEMPLATE(type2)->dtype == TEMPLDEP_TEMPLATE)
-                return CTempl_DeduceTemplDepTemplate(
-                    TYPE_TEMPLATE(type2)->u.templ.templ, TYPE_TEMPLATE(type2)->u.templ.args,
-                    type1->u.templ.templ, type1->u.templ.args,
-                    argArray
-                );
-
-            return 0;
-
-        case TEMPLDEP_ARRAY:
-            if (IS_TYPE_ARRAY(type2)) {
-                SInt32 elements;
-
-                if (!CTempl_DeduceType1(type1->u.array.type, qual1, TPTR_TARGET(type2), qual2, argArray, flag))
-                    return 0;
-
-                if (ENODE_IS(type1->u.array.index, EINTCONST)) {
-                    CError_ASSERT(961, TPTR_TARGET(type2)->size);
-                    return (type2->size / TPTR_TARGET(type2)->size) == CInt64_GetULong(&type1->u.array.index->data.intval);
-                }
-
-                if (!ENODE_IS(type1->u.array.index, ETEMPLDEP) || type1->u.array.index->data.templdep.subtype != TDE_PARAM)
-                    return 1;
-
-                CError_ASSERT(970, TPTR_TARGET(type2)->size);
-
-                elements = type2->size / TPTR_TARGET(type2)->size;
-                index = type1->u.array.index->data.templdep.u.pid.index;
-                if (argArray[index].is_deduced) {
-                    CError_ASSERT(976, ENODE_IS(argArray[index].data.paramdecl.expr, EINTCONST));
-                    return elements == CInt64_GetULong(&argArray[index].data.paramdecl.expr->data.intval);
-                } else {
-                    argArray[index].data.paramdecl.expr = intconstnode(CABI_GetPtrDiffTType(), elements);
-                    argArray[index].pid.type = TPT_NONTYPE;
-                    argArray[index].is_deduced = 1;
-                    return 1;
-                }
-            } else if (IS_TYPE_TEMPLATE(type2) && TYPE_TEMPLATE(type2)->dtype == TEMPLDEP_ARRAY) {
-                if (!CTempl_DeduceType1(type1->u.array.type, qual1, TYPE_TEMPLATE(type2)->u.array.type, qual2, argArray, flag))
-                    return 0;
-
-                if (ENODE_IS(type1->u.array.index, EINTCONST)) {
-                    return ENODE_IS(TYPE_TEMPLATE(type2)->u.array.index, EINTCONST) &&
-                           CInt64_Equal(type1->u.array.index->data.intval, TYPE_TEMPLATE(type2)->u.array.index->data.intval);
-                }
-
-                if (!ENODE_IS(type1->u.array.index, ETEMPLDEP) || type1->u.array.index->data.templdep.subtype != TDE_PARAM)
-                    return 1;
-
-                index = type1->u.array.index->data.templdep.u.pid.index;
-                if (argArray[index].is_deduced) {
-                    return CTemplTool_EqualExprTypes(TYPE_TEMPLATE(type2)->u.array.index, argArray[index].data.paramdecl.expr);
-                } else {
-                    argArray[index].data.paramdecl.expr = TYPE_TEMPLATE(type2)->u.array.index;
-                    argArray[index].pid.type = TPT_NONTYPE;
-                    argArray[index].is_deduced = 1;
-                    return 1;
-                }
-            }
-
-            return 0;
-
-        case TEMPLDEP_QUALTEMPL:
-            return CTempl_DeduceQualTemplate(type1->u.qualtempl.type, type1->u.qualtempl.args, type2, argArray);
-
-        case TEMPLDEP_BITFIELD:
-        default:
-            CError_FATAL(1022);
-            return 1;
-    }
-}
-
-static Boolean CTempl_DeduceFuncType(TypeFunc *tfunc1, TypeFunc *tfunc2, TemplArg *argArray) {
-    FuncArg *arg1;
-    FuncArg *arg2;
-    Type *type2;
-    Type *type1;
-    UInt32 qual2;
-    UInt32 qual1;
-
-    arg1 = tfunc1->args;
-    arg2 = tfunc2->args;
-
-    if (IS_TYPEFUNC_NONSTATIC_METHOD(tfunc1) && !IS_TYPEFUNC_METHOD(tfunc2)) {
-        CError_ASSERT(1045, arg1);
-        arg1 = arg1->next;
-    }
-
-    while (1) {
-        if (arg1 == NULL)
-            return !arg2;
-        if (arg1 == &oldstyle)
-            return arg2 == &oldstyle;
-        if (arg1 == &elipsis)
-            return arg2 == &elipsis;
-
-        if (arg2 == NULL || arg2 == &oldstyle || arg2 == &elipsis)
-            return 0;
-
-        qual2 = arg2->qual;
-        type2 = CParser_RemoveTopMostQualifiers(arg2->type, &qual2);
-
-        qual1 = arg1->qual;
-        type1 = CParser_RemoveTopMostQualifiers(arg1->type, &qual1);
-
-        if (!CTempl_DeduceType1(type1, qual1, type2, qual2, argArray, 1))
-            return 0;
-
-        arg1 = arg1->next;
-        arg2 = arg2->next;
-    }
-}
-
-static Boolean CTempl_DeduceType1(Type *type1, UInt32 qual1, Type *type2, UInt32 qual2, TemplArg *argArray, Boolean flag) {
-    while (1) {
-        switch (type1->type) {
-            case TYPETEMPLATE:
-                return CTempl_DeduceTypeTemplDep(TYPE_TEMPLATE(type1), qual1, type2, qual2, argArray, flag);
-
-            case TYPEVOID:
-            case TYPEINT:
-            case TYPEFLOAT:
-            case TYPEENUM:
-            case TYPESTRUCT:
-            case TYPECLASS:
-                return type1 == type2;
-
-            case TYPEMEMBERPOINTER:
-                if (type1->type != type2->type || TYPE_MEMBER_POINTER(type1)->qual != TYPE_MEMBER_POINTER(type2)->qual)
-                    return 0;
-                if (!CTempl_DeduceType1(TYPE_MEMBER_POINTER(type1)->ty1, qual1, TYPE_MEMBER_POINTER(type2)->ty1, qual2, argArray, flag))
-                    return 0;
-                type1 = TYPE_MEMBER_POINTER(type1)->ty2;
-                type2 = TYPE_MEMBER_POINTER(type2)->ty2;
-                continue;
-
-            case TYPEARRAY:
-                if (type2->type != TYPEARRAY)
-                    return 0;
-                type1 = TPTR_TARGET(type1);
-                type2 = TPTR_TARGET(type2);
-                continue;
-
-            case TYPEPOINTER:
-                if (type2->type != TYPEPOINTER || TPTR_QUAL(type1) != TPTR_QUAL(type2))
-                    return 0;
-                type1 = TPTR_TARGET(type1);
-                type2 = TPTR_TARGET(type2);
-                continue;
-
-            case TYPEFUNC:
-                if (type1->type != type2->type)
-                    return 0;
-
-                if (CTempl_DeduceType1(TYPE_FUNC(type1)->functype, TYPE_FUNC(type1)->qual, TYPE_FUNC(type2)->functype, TYPE_FUNC(type2)->qual, argArray, flag))
-                    return CTempl_DeduceFuncType(TYPE_FUNC(type1), TYPE_FUNC(type2), argArray);
-
-                return 0;
-
-            default:
-                CError_FATAL(1124);
-        }
-    }
-}
-
-static Boolean CTempl_DeduceType2(Type *type1, UInt32 qual1, Type *type2, UInt32 qual2, TemplArg *argArray) {
-    while (1) {
-        switch (type1->type) {
-            case TYPEPOINTER:
-                if (type2->type != TYPEPOINTER)
-                    return 0;
-                if (!CParser_IsSameOrMoreCVQualified(TPTR_QUAL(type2), TPTR_QUAL(type1)))
-                    return 0;
-                type1 = TPTR_TARGET(type1);
-                type2 = TPTR_TARGET(type2);
-                continue;
-
-            case TYPEMEMBERPOINTER:
-                if (type2->type != TYPEMEMBERPOINTER)
-                    return 0;
-                if (!CParser_IsSameOrMoreCVQualified(TYPE_MEMBER_POINTER(type2)->qual, TYPE_MEMBER_POINTER(type1)->qual))
-                    return 0;
-                if (!CTempl_DeduceType2(TYPE_MEMBER_POINTER(type1)->ty1, qual1, TYPE_MEMBER_POINTER(type2)->ty1, qual2, argArray))
-                    return 0;
-                type1 = TYPE_MEMBER_POINTER(type1)->ty2;
-                type2 = TYPE_MEMBER_POINTER(type2)->ty2;
-                continue;
-
-            default:
-                if (CParser_IsSameOrMoreCVQualified(qual2, qual1))
-                    return CTempl_DeduceType1(type1, qual2, type2, qual2, argArray, 0);
-                return 0;
-        }
-    }
-}
-
-static Boolean CTempl_DeduceType3(Type *type1, UInt32 qual1, Type *type2, UInt32 qual2, TemplArg *argArray) {
-    Boolean flag = 0;
-
-    while (1) {
-        switch (type1->type) {
-            case TYPEPOINTER:
-                flag = 1;
-                if (type2->type != TYPEPOINTER)
-                    return 0;
-                if (!CParser_IsSameOrMoreCVQualified(TPTR_QUAL(type2), TPTR_QUAL(type1)))
-                    return 0;
-                type1 = TPTR_TARGET(type1);
-                type2 = TPTR_TARGET(type2);
-                continue;
-
-            case TYPEMEMBERPOINTER:
-                flag = 1;
-                if (type2->type != TYPEMEMBERPOINTER)
-                    return 0;
-                if (!CParser_IsSameOrMoreCVQualified(TYPE_MEMBER_POINTER(type2)->qual, TYPE_MEMBER_POINTER(type1)->qual))
-                    return 0;
-                if (!CTempl_DeduceType2(TYPE_MEMBER_POINTER(type1)->ty1, qual1, TYPE_MEMBER_POINTER(type2)->ty1, qual2, argArray))
-                    return 0;
-                type1 = TYPE_MEMBER_POINTER(type1)->ty2;
-                type2 = TYPE_MEMBER_POINTER(type2)->ty2;
-                continue;
-
-            default:
-                if (!flag)
-                    return 0;
-                if (CParser_IsSameOrMoreCVQualified(qual2, qual1))
-                    return CTempl_DeduceType1(type1, qual2, type2, qual2, argArray, 0);
-                return 0;
-        }
-    }
-}
-
-static Boolean CTempl_DeduceType4(Type *type1, UInt32 qual1, Type *type2, UInt32 qual2, TemplArg *argArray) {
-    if (IS_TYPE_POINTER_ONLY(type1)) {
-        if (!IS_TYPE_POINTER_ONLY(type2))
-            return 0;
-
-        if (!CParser_IsSameOrMoreCVQualified(TPTR_QUAL(type1), TPTR_QUAL(type2)))
-            return 0;
-
-        type1 = TPTR_TARGET(type1);
-        type2 = TPTR_TARGET(type2);
-    }
-
-    if (IS_TYPE_TEMPLATE(type1) && TYPE_TEMPLATE(type1)->dtype == TEMPLDEP_TEMPLATE && IS_TYPE_CLASS(type2)) {
-        if (CParser_IsSameOrMoreCVQualified(qual1, qual2))
-            return CTempl_DeduceTemplateTypeBase(
-                TYPE_TEMPLATE(type1)->u.templ.templ,
-                TYPE_TEMPLATE(type1)->u.templ.args,
-                TEMPL_CLASS_INST(type2),
-                argArray,
-                1);
-        else
-            return 0;
-    }
-
-    return 0;
-}
-
-Boolean CTempl_DeduceType(Type *type1, UInt32 qual1, Type *type2, UInt32 qual2, TemplArg *argArray, Boolean flag1, Boolean flag2) {
-    Boolean flag31;
-    Boolean flag8;
-
-    flag31 = 0;
-    flag8 = 1;
-
-    if (flag1 || flag2) {
-        if (IS_TYPE_REFERENCE(type1)) {
-            type1 = TPTR_TARGET(type1);
-            flag31 = 1;
-        } else {
-            switch (type2->type) {
-                case TYPEFUNC:
-                    type2 = CDecl_NewPointerType(type2);
-                    break;
-                case TYPEARRAY:
-                    type2 = CDecl_NewPointerType(TPTR_TARGET(type2));
-                    break;
-            }
-
-            type1 = CParser_RemoveTopMostQualifiers(type1, &qual1);
-            type2 = CParser_RemoveTopMostQualifiers(type2, &qual2);
-        }
-        flag8 = 0;
-    }
-
-    if (CTempl_DeduceType1(type1, qual1, type2, qual2, argArray, flag8))
-        return 1;
-
-    if (flag1 || flag2) {
-        if (flag31 && CTempl_DeduceType2(type1, qual1, type2, qual2, argArray))
-            return 1;
-        if (CTempl_DeduceType3(type1, qual1, type2, qual2, argArray))
-            return 1;
-        if (flag1 && CTempl_DeduceType4(type1, qual1, type2, qual2, argArray))
-            return 1;
-    }
-
-    return 0;
-}
-
-static Boolean CTempl_TypeNeedsDeduction(Type *type) {
-    FuncArg *arg;
-    Boolean result;
-
-    while (1) {
-        switch (type->type) {
-            case TYPETEMPLATE:
-                switch (TYPE_TEMPLATE(type)->dtype) {
-                    case TEMPLDEP_ARGUMENT:
-                        if (
-                            TYPE_TEMPLATE(type)->u.pid.index >= ctempl_explicitargs_num ||
-                            TYPE_TEMPLATE(type)->u.pid.nindex != ctempl_explicitargs_nindex
-                        )
-                            ctempl_explicitargs_all = 0;
-                        return 1;
-
-                    case TEMPLDEP_QUALNAME:
-                        CTempl_TypeNeedsDeduction(TYPE(TYPE_TEMPLATE(type)->u.qual.type));
-                        return 1;
-
-                    case TEMPLDEP_TEMPLATE:
-                        ctempl_explicitargs_all = 0;
-                        return 1;
-
-                    case TEMPLDEP_ARRAY:
-                        CTempl_TypeNeedsDeduction(TYPE_TEMPLATE(type)->u.array.type);
-                        ctempl_explicitargs_all = 0;
-                        return 1;
-
-                    case TEMPLDEP_QUALTEMPL:
-                        CTempl_TypeNeedsDeduction(TYPE(TYPE_TEMPLATE(type)->u.qualtempl.type));
-                        ctempl_explicitargs_all = 0;
-                        return 1;
-
-                    case TEMPLDEP_BITFIELD:
-                    default:
-                        CError_FATAL(1357);
-                }
-
-            case TYPEVOID:
-            case TYPEINT:
-            case TYPEFLOAT:
-            case TYPEENUM:
-            case TYPESTRUCT:
-            case TYPECLASS:
-                return 0;
-
-            case TYPEMEMBERPOINTER:
-                result = 0;
-                if (CTempl_TypeNeedsDeduction(TYPE_MEMBER_POINTER(type)->ty1))
-                    result = 1;
-                if (CTempl_TypeNeedsDeduction(TYPE_MEMBER_POINTER(type)->ty2))
-                    result = 1;
-                return result;
-
-            case TYPEPOINTER:
-            case TYPEARRAY:
-                type = TPTR_TARGET(type);
-                continue;
-
-            case TYPEFUNC:
-                result = 0;
-                for (arg = TYPE_FUNC(type)->args; arg && arg != &elipsis; arg = arg->next) {
-                    if (CTempl_TypeNeedsDeduction(arg->type))
-                        result = 1;
-                }
-
-                if (CTempl_TypeNeedsDeduction(TYPE_FUNC(type)->functype))
-                    result = 1;
-                return result;
-
-            default:
-                CError_FATAL(1389);
-        }
-    }
-}
-
-static Boolean CTempl_MatchTemplFunc(Object *object, DeduceInfo *info, FuncArg *args, ENodeList *exprs, Match13 *match13ptr) {
-    Match13 match13;
-    int i;
-
-    memclrw(&match13, sizeof(match13));
-
-    while (1) {
-        if (!args || args->type == &stvoid) {
-            if (!exprs)
-                break;
-            return 0;
-        }
-
-        if (args == &elipsis)
-            break;
-        if (args == &oldstyle)
-            break;
-
-        if (!exprs) {
-            if (args->dexpr)
-                break;
-            return 0;
-        }
-
-        ctempl_explicitargs_nindex = info->x12C;
-        ctempl_explicitargs_num = info->count;
-        ctempl_explicitargs_all = 1;
-
-        if (CTempl_TypeNeedsDeduction(args->type)) {
-            if (!ctempl_explicitargs_all) {
-                UInt32 cv2;
-                UInt32 cv1;
-                Type *type2;
-                Type *type1;
-                UInt32 qual2;
-                UInt32 qual1;
-
-                type1 = args->type;
-                qual1 = args->qual & (Q_CONST | Q_VOLATILE);
-
-                type2 = exprs->node->rtype;
-                qual2 = ENODE_QUALS(exprs->node);
-
-                if (IS_TYPE_REFERENCE(type1)) {
-                    type1 = TPTR_TARGET(type1);
-                    cv1 = CParser_GetCVTypeQualifiers(type1, qual1);
-                    cv2 = CParser_GetCVTypeQualifiers(type2, qual2);
-                    if (
-                        (!(cv1 & Q_CONST) && (cv2 & Q_CONST)) ||
-                        (!(cv1 & Q_VOLATILE) && (cv2 & Q_VOLATILE))
-                        )
-                        return 0;
-
-                    if (!(cv1 & Q_CONST) && !CExpr_IsLValue(exprs->node))
-                        return 0;
-                }
-
-                type1 = CParser_RemoveTopMostQualifiers(type1, &qual1);
-                type2 = CParser_RemoveTopMostQualifiers(type2, &qual2);
-
-                if (ENODE_IS(exprs->node, EOBJREF) && IS_TEMPL_FUNC(exprs->node->data.objref->type))
-                    return 0;
-
-                if (ENODE_IS(exprs->node, EOBJLIST)) {
-                    NameSpaceObjectList *list;
-
-                    for (list = exprs->node->data.objlist.list; list; list = list->next) {
-                        if (list->object->otype == OT_OBJECT && IS_TEMPL_FUNC(OBJECT(list->object)->type))
-                            break;
-                    }
-
-                    if (list)
-                        return 0;
-
-                    if (IS_TYPE_FUNC(type2))
-                        type2 = CDecl_NewPointerType(type2);
-                }
-
-                ctempl_conversion_deduction = 0;
-                if (!CTempl_DeduceType(type1, qual1, type2, qual2, info->args, 1, 0))
-                    return 0;
-
-                if (ctempl_conversion_deduction)
-                    match13.anotherm5.x4++;
-                else
-                    match13.anotherm5.x0++;
-
-                if (IS_TYPE_POINTER_ONLY(args->type))
-                    CExpr_MatchCV(type2, qual2, args->type, args->qual, &match13);
-
-            } else {
-                Type *type;
-                UInt32 qual;
-
-                type = CTempl_GetSpecifiedType(CTemplTool_GetFuncTempl(object), args->type, args->qual, info->args, &qual);
-                if (type && !CExpr_MatchAssign(type, qual, exprs->node, &match13))
-                    return 0;
-            }
-        } else {
-            if (copts.old_argmatch && !CExpr_MatchAssign(args->type, args->qual, exprs->node, &match13))
-                return 0;
-        }
-
-        exprs = exprs->next;
-        args = args->next;
-    }
-
-    for (i = 0; i < info->maxCount; i++) {
-        if (!info->args[i].is_deduced)
-            return 0;
-        info->args[i].next = &info->args[i + 1];
-    }
-    info->args[info->maxCount].next = NULL;
-
-    return CExpr_MatchCompare(object, match13ptr, &match13);
-}
-
-void CTempl_FuncMatch(NameSpaceObjectList *list, TemplArg *args, ENodeList *argexprs, Match13 *match13ptr, ENode *expr) {
-    Object *obj;
-    Object *success;
-    Object *object1;
-    FuncMatchArgs funcMatchArgs;
-    DeduceInfo info;
-    DeduceInfo info2;
-
-    object1 = match13ptr->obj;
-    success = NULL;
-    while (list) {
-        obj = OBJECT(list->object);
-        if (
-            obj->otype == OT_OBJECT &&
-            IS_TEMPL_FUNC(obj->type) &&
-            CExpr_GetFuncMatchArgs(obj, argexprs, expr, &funcMatchArgs) &&
-            CTemplTool_InitDeduceInfo(&info, CTemplTool_GetFuncTempl(obj)->params, args, 0) &&
-            CTempl_MatchTemplFunc(obj, &info, funcMatchArgs.args, funcMatchArgs.exprs, match13ptr)
-            )
-        {
-            info2 = info;
-            if (info.args == info.argBuffer)
-                info2.args = info2.argBuffer;
-            success = obj;
-        }
-        list = list->next;
-    }
-
-    if (success) {
-        if (match13ptr->list) {
-            ENodeList *argexpr = argexprs;
-            int argexprcount = 0;
-            while (argexpr) {
-                argexpr = argexpr->next;
-                argexprcount++;
-            }
-
-            obj = CTempl_PartialOrdering(match13ptr->obj, match13ptr->list, argexprcount);
-            if (!obj) {
-                CError_OverloadedFunctionError(match13ptr->obj, match13ptr->list);
-                match13ptr->list = NULL;
-                if (object1)
-                    match13ptr->obj = object1;
-                else
-                    match13ptr->obj = CTempl_GetCreateFuncInstance(success, info2.args, NULL)->object;
-            } else {
-                NameSpaceObjectList mylist;
-                mylist.next = NULL;
-                mylist.object = OBJ_BASE(obj);
-                memclrw(match13ptr, sizeof(Match13));
-                CTempl_FuncMatch(&mylist, args, argexprs, match13ptr, expr);
-            }
-        } else {
-            match13ptr->obj = CTempl_GetCreateFuncInstance(success, info2.args, NULL)->object;
-        }
-    } else {
-        match13ptr->obj = object1;
-    }
-}
-
-static Boolean CExpr_DeduceFromObjList(FuncArg *arg, NameSpaceObjectList *list, DeduceInfo *info) {
-    TemplArg *savebuf;
-    NameSpaceObjectList *scan;
-    SInt32 size;
-
-    for (scan = list; scan; scan = scan->next) {
-        if (scan->object->otype == OT_OBJECT && IS_TEMPL_FUNC(OBJECT(scan->object)->type))
-            return 0;
-    }
-
-    size = sizeof(TemplArg) * info->maxCount;
-    savebuf = lalloc(size);
-
-    for (scan = list; scan; scan = scan->next) {
-        if (scan->object->otype == OT_OBJECT && IS_TYPE_FUNC(OBJECT(scan->object)->type)) {
-            Object *obj;
-
-            memcpy(savebuf, info->args, size);
-
-            obj = OBJECT(scan->object);
-            if (CTempl_DeduceType(
-                arg->type, arg->qual & (Q_CONST | Q_VOLATILE),
-                obj->type, obj->qual,
-                savebuf, 1, 0
-                ))
-            {
-                memcpy(info->args, savebuf, size);
-                return 1;
-            }
-        }
-    }
-
-    return 0;
-}
-
-Object *CTempl_DeduceFromFunctionCall(Object *funcobj, TemplArg *templargs, ENodeList *argexprs) {
-    DeduceInfo info;
-    FuncArg *arg;
-    int i;
-
-    CError_ASSERT(1655, IS_TEMPL_FUNC(funcobj->type));
-
-    if (CTemplTool_InitDeduceInfo(&info, CTemplTool_GetFuncTempl(funcobj)->params, templargs, 0)) {
-        arg = TYPE_FUNC(funcobj->type)->args;
-        if (IS_TYPEFUNC_NONSTATIC_METHOD(TYPE_FUNC(funcobj->type))) {
-            CError_ASSERT(1664, arg);
-            arg = arg->next;
-        }
-
-        while (1) {
-            if (!arg || arg->type == &stvoid) {
-                if (argexprs)
-                    return NULL;
-                break;
-            }
-
-            if (arg == &elipsis)
-                break;
-            if (arg == &oldstyle)
-                break;
-
-            if (!argexprs) {
-                if (arg->dexpr)
-                    break;
-                return NULL;
-            }
-
-            ctempl_explicitargs_nindex = info.x12C;
-            ctempl_explicitargs_num = info.count;
-            ctempl_explicitargs_all = 1;
-
-            if (CTempl_TypeNeedsDeduction(arg->type) && !ctempl_explicitargs_all) {
-                ENode *node = argexprs->node;
-
-                if (ENODE_IS(node, EOBJREF) && IS_TEMPL_FUNC(node->data.objref->type))
-                    return NULL;
-
-                if (ENODE_IS(node, EOBJLIST)) {
-                    if (!CExpr_DeduceFromObjList(arg, node->data.objlist.list, &info))
-                        return NULL;
-                } else {
-                    if (!CTempl_DeduceType(
-                        arg->type, arg->qual & (Q_CONST | Q_VOLATILE),
-                        node->rtype, ENODE_QUALS(node),
-                        info.args, 1, 0))
-                        return NULL;
-                }
-            }
-
-            argexprs = argexprs->next;
-            arg = arg->next;
-        }
-
-        for (i = 0; i < info.maxCount; i++) {
-            if (!info.args[i].is_deduced)
-                return 0;
-            info.args[i].next = &info.args[i + 1];
-        }
-        info.args[info.maxCount].next = NULL;
-
-        return CTempl_GetCreateFuncInstance(funcobj, info.args, NULL)->object;
-    } else {
-        return NULL;
-    }
-}
-
-Object *CTempl_DeduceFromConversion(Object *funcobj, Type *type, UInt32 qual) {
-    DeduceInfo info;
-    int i;
-
-    CError_ASSERT(1745, IS_TEMPL_FUNC(funcobj->type));
-
-    if (!CTemplTool_InitDeduceInfo(&info, CTemplTool_GetFuncTempl(funcobj)->params, NULL, 0))
-        return NULL;
-
-    ctempl_explicitargs_nindex = info.x12C;
-    ctempl_explicitargs_num = info.count;
-    ctempl_explicitargs_all = 1;
-
-    if (!CTempl_TypeNeedsDeduction(TYPE_FUNC(funcobj->type)->functype))
-        return NULL;
-
-    if (!CTempl_DeduceType(TYPE_FUNC(funcobj->type)->functype, TYPE_FUNC(funcobj->type)->qual, type, qual, info.args, 0, 1))
-        return NULL;
-
-    for (i = 0; i < info.maxCount; i++) {
-        if (!info.args[i].is_deduced)
-            return 0;
-        info.args[i].next = &info.args[i + 1];
-    }
-    info.args[info.maxCount].next = NULL;
-
-    return CTempl_GetCreateFuncInstance(funcobj, info.args, NULL)->object;
-}
-
-static int CTemplFunc_TemplateNestLevel(NameSpace *nspace) {
-    int level = 0;
-
-    while (nspace) {
-        if (nspace->theclass && (nspace->theclass->flags & CLASS_IS_TEMPL_ANY))
-            level++;
-        nspace = nspace->parent;
-    }
-
-    return level;
-}
-
-static Boolean CTemplFunc_SameFuncType(TypeFunc *a, TypeFunc *b) {
-    FuncArg *arg1;
-    FuncArg *arg2;
-
-    CError_ASSERT(1800, IS_TYPE_FUNC(a) && IS_TYPE_FUNC(b));
-
-    if (!is_typesame(a->functype, b->functype))
-        return 0;
-
-    if (a->qual != b->qual)
-        return 0;
-
-    if ((a->flags & FUNC_CALL_CONV_MASK) != (b->flags & FUNC_CALL_CONV_MASK))
-        return 0;
-
-    arg1 = a->args;
-    if ((a->flags & FUNC_METHOD) && !TYPE_METHOD(a)->is_static) {
-        CError_ASSERT(1808, arg1);
-        arg1 = arg1->next;
-    }
-
-    arg2 = b->args;
-    if ((b->flags & FUNC_METHOD) && !TYPE_METHOD(b)->is_static) {
-        CError_ASSERT(1814, arg2);
-        arg2 = arg2->next;
-    }
-
-    return is_arglistsame(arg1, arg2);
-}
-
-Object *CTempl_TemplateFunctionCheck(DeclInfo *di, NameSpaceObjectList *nsol) {
-    TemplArg *arg;
-    TemplFuncInstance *inst;
-    Object *object;
-
-    for (arg = di->expltargs; arg; arg = arg->next) {
-        switch (arg->pid.type) {
-            case TPT_TYPE:
-                if (CTemplTool_IsTemplateArgumentDependentType(arg->data.typeparam.type))
-                    break;
-                continue;
-            case TPT_NONTYPE:
-                if (CTemplTool_IsTemplateArgumentDependentExpression(arg->data.paramdecl.expr))
-                    break;
-                continue;
-            default:
-                CError_FATAL(1844);
-        }
-
-        break;
-    }
-
-    if (arg) {
-        while (nsol) {
-            object = OBJECT(nsol->object);
-            if (
-                object->otype == OT_OBJECT &&
-                IS_TEMPL_FUNC(object->type) &&
-                CTemplTool_IsSameTemplate(CTemplTool_GetFuncTempl(object)->params, di->expltargs) &&
-                CTemplFunc_SameFuncType(TYPE_FUNC(OBJECT(nsol->object)->type), TYPE_FUNC(di->thetype))
-                )
-                return OBJECT(nsol->object);
-
-            nsol = nsol->next;
-        }
-    } else {
-        while (nsol) {
-            object = OBJECT(nsol->object);
-            if (
-                object->otype == OT_OBJECT &&
-                IS_TEMPL_FUNC(object->type) &&
-                (inst = CTempl_DeduceFunc(object, TYPE_FUNC(di->thetype), di->expltargs, NULL, 1))
-                )
-            {
-                if (di->x3C) {
-                    if (!(di->qual & Q_INLINE)) {
-                        if (!inst->is_specialized)
-                            inst->object->qual &= ~Q_INLINE;
-                    } else {
-                        inst->object->qual |= Q_INLINE;
-                    }
-
-                    if (!inst->is_specialized && inst->is_instantiated)
-                        CError_Error(CErrorStr335);
-
-                    if (di->x3C != (CTemplFunc_TemplateNestLevel(inst->object->nspace) + 1))
-                        CError_Warning(CErrorStr335);
-
-                    inst->is_specialized = 1;
-                    di->x3C = 0;
-                }
-
-                CTemplTool_MergeArgNames(TYPE_FUNC(di->thetype), TYPE_FUNC(inst->object->type));
-                di->x38 = CTemplTool_GetFuncTempl(OBJECT(nsol->object));
-                return inst->object;
-            }
-            nsol = nsol->next;
-        }
-    }
-
-    CError_ResetErrorSkip();
-    CError_Error(CErrorStr335);
-    di->x3C = 0;
-    return NULL;
-}