@lcap/nasl-language-server-core 4.4.0-beta.3 → 4.4.0-beta.31

package/out/typer/solver.js

@@ -189,70 +189,93 @@ class Solver {
             return undefined;
         };
         /**
-         * 处理特定边界（下界或上界）的类型：@warning decimal 和 long 的处理被 AI 破坏，现在是只处理单个 lb 或 ub，之后修复 Zirun
-         * 1. 下界含有 union：选择 union
-         * 2. 下界含有 Decimal：选择 Decimal
-         * 3. 下界只有 Number，上界含有 Decimal：选择 Decimal
-         * 4. 下界只有 Number，上界没有 Decimal：选择 Long （2、3 合并：下界 Number 上界任意数值类型）
-         * 5. 下界含有 Long 且上界有 Decimal：选择 Long
-         * 6. 下界含有 Long 且上界没有 Decimal：选择 Long  （1、2、4、5合并后：下界没有 Decimal，有 Long，而是上界任意数值类型）
-         * 7. 下界和上界都只有 Number：选择 Long
-         * 8. 下界和上界都只有 Number：选择 Long
+         * 处理特定边界（下界或上界）的类型
+         *
+         * 策略（按优先级）：
+         * 1. preferUnion 且存在非纯数值 union：优先返回 union 类型
+         * 2. preferUnion 且仅存在纯数值 union：返回该 union
+         * 3. 全为数值（Decimal/Long/Number）：Decimal > Long > Number（精度优先）
+         * 4. 混合（含非数值）：按 boundEntries 顺序取第一个有效 bound，Null 视为无约束跳过
+         * 5. 仅 Null：返回 Null
          */
         this.processSingleBounds = (boundEntries, subst, incTyVars, preferUnion) => {
+            // 下界策略：优先选择 union 类型（但纯数值 Union 类型需要特殊处理）
+            const unionTypes = [];
             // 首先考虑 union 类型优先级
             if (preferUnion) {
-                // 下界策略：优先选择 union 类型
-                const unionTypes = [];
                 for (const boundEntry of boundEntries) {
                     const ty = boundEntry.bound;
-                    const shouldInclude = !(0, type_predicate_1.isAnyTy)(ty) && (incTyVars || !hasNaslTyParamAnn(ty, subst));
+                    const shouldInclude = !(0, type_predicate_1.isAnyTy)(ty) && (incTyVars || !hasNaslTyParamAnn(ty, subst) || (0, type_predicate_1.isIndexedType)(ty));
                     if (shouldInclude && (0, type_predicate_1.isUnionTy)(ty)) {
                         if (!unionTypes.includes(ty)) {
                             unionTypes.push(ty);
                         }
                     }
                 }
+                // 检查是否所有 Union 类型都是纯数值 Union 类型（所有成员都是数值类型）
+                // 注意：空数组的 every 会返回 true，所以需要先检查长度
+                const isPureNumericUnion = unionTypes.length > 0 && unionTypes.every(unionTy => {
+                    if (!(0, type_predicate_1.isUnionTy)(unionTy) || !unionTy.typeArguments) {
+                        return false;
+                    }
+                    return unionTy.typeArguments.every(memberTy => (0, type_predicate_1.isNumericTy)(memberTy));
+                });
                 // 如果找到 union 类型，优先返回
-                if (unionTypes.length > 0) {
+                if (unionTypes.length > 0 && !isPureNumericUnion) {
                     return unionTypes;
                 }
             }
-            // 如果没有优先 union 或没找到 union 类型，检查数值类型
+            // 非 union 情况：全为数值时用 Decimal > Long > Number；否则按顺序取第一个有效 bound（跳过 Null）
+            // 纯数值 Union 时仍返回 unionTypes
+            if (preferUnion && unionTypes.length > 0) {
+                return unionTypes;
+            }
             let hasDecimal = false;
             let hasLong = false;
             let hasNumber = false;
+            let hasNonNumeric = false;
+            let hadNull = false;
+            const inOrder = [];
             for (const boundEntry of boundEntries) {
                 const ty = boundEntry.bound;
+                const shouldInclude = !(0, type_predicate_1.isAnyTy)(ty) && (incTyVars || !hasNaslTyParamAnn(ty, subst) || (0, type_predicate_1.isIndexedType)(ty));
+                if (!shouldInclude)
+                    continue;
+                if ((0, type_predicate_1.isNullTy)(ty)) {
+                    hadNull = true;
+                    continue;
+                }
                 if (ty.typeName === 'Decimal') {
                     hasDecimal = true;
+                    inOrder.push(ty);
                 }
                 else if (ty.typeName === 'Long') {
                     hasLong = true;
+                    inOrder.push(ty);
                 }
                 else if (ty.typeName === 'Number') {
                     hasNumber = true;
+                    inOrder.push(ty);
                 }
-            }
-            // 数值类型优先级：Decimal > Long/Number
-            if (hasDecimal) {
-                return [type_manager_1.naslDecimalTy];
-            }
-            if (hasLong || hasNumber) {
-                return [type_manager_1.naslLongTy];
-            }
-            // 处理其他非数值类型
-            const result = [];
-            for (const boundEntry of boundEntries) {
-                const ty = boundEntry.bound;
-                const shouldInclude = !(0, type_predicate_1.isAnyTy)(ty) && (incTyVars || !hasNaslTyParamAnn(ty, subst));
-                if (shouldInclude && !result.includes(ty)) {
-                    result.push(ty);
+                else {
+                    hasNonNumeric = true;
+                    inOrder.push(ty);
                 }
             }
-            if (result.length > 0) {
-                return result;
+            if (hasNonNumeric && inOrder.length > 0) {
+                const first = inOrder[0];
+                if (first.typeName === 'Decimal')
+                    return [type_manager_1.naslDecimalTy];
+                if (first.typeName === 'Long' || first.typeName === 'Number')
+                    return [type_manager_1.naslLongTy];
+                return [first];
             }
+            if (hasDecimal)
+                return [type_manager_1.naslDecimalTy];
+            if (hasLong || hasNumber)
+                return [type_manager_1.naslLongTy];
+            if (hadNull && inOrder.length === 0)
+                return [type_manager_1.naslNullTy];
             return undefined;
         };
         this.topoSortTyVars = (cs) => {

package/out/typer/solver.js.map

@@ -1 +1 @@
-{"version":3,"file":"solver.js","sourceRoot":"","sources":["../../src/typer/solver.ts"],"names":[],"mappings":";;;AAMA,mCAAiD;AAEjD,yCAAuE;AACvE,qCAA2C;AAC3C,uCAA8E;AAE9E,iDASwB;AAExB,qDAO0B;AAE1B,SAAS,sBAAsB,CAAC,MAAc;IAC5C,MAAM,SAAS,GAAI,CAAC,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;IAChD,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA,EAAE;QACzB,yBAAyB;QACzB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IAC1B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AACD,MAAa,MAAM;IAKf,YAAY,GAAW;QAMvB,uDAAuD;QACvD,2BAAsB,GAAG,CAAC,MAAmB,IAAI,CAAC,EAAE,EAAiB,EAAE;YACnE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;YAEhD,iBAAiB;YACjB,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;YAEpC,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,0CAA0C;YAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,QAAQ;gBACnB,CAAC,CAAC,CAAC,CAAS,EAAE,EAAE;oBACZ,OAAO,CAAC,KAAK,QAAQ,CAAC;gBACxB,CAAC;gBACH,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;YAEhB,GAAG,CAAC;gBACA,IAAI,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;gBACzB,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACnB,MAAM,GAAG,GAAG,IAAA,wBAAe,EAAC,EAAE,CAAC,CAAC;oBAChC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACrB,CAAC;gBACD,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC9C,MAAM,KAAK,GAAG,CAAC,KAAoB,EAAE,MAAc,EAAE,EAAE;wBACrD,MAAM,MAAM,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;wBAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;wBACvI,CAAC;wBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;wBACvI,CAAC;wBACD,OAAO,MAAM,CAAC;oBAChB,CAAC,CAAC;oBACF,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChB,WAAW,CAAC,SAAS,CAAC,CAAC;oBACzB,CAAC;oBACD,SAAS,0BAA0B,CAAC,MAAc;wBAChD,OAAO,IAAI,qBAAM,CACf,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;4BACrB,mBAAmB;4BACnB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;wBAC1B,CAAC,CAAC,EACF,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;4BACrB,mBAAmB;4BACnB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;wBAC1B,CAAC,CAAC,CACH,CAAC;oBACJ,CAAC;oBACD,MAAM,WAAW,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;oBAC1D,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;oBAChD,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChB,WAAW,CAAC,aAAa,CAAC,CAAC;wBAC3B,QAAQ,CAAA;oBACV,CAAC;oBACD,sCAAsC;oBACtC,yFAAyF;oBACzF,iCAAiC;oBACjC,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;oBACvG,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;wBACjC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;wBAC9D,IAAG,IAAI,CAAC,KAAK,CAAC,EAAC,CAAC;4BACd,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,0BAA0B,IAAA,uBAAQ,EAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,2BAA2B,IAAA,uBAAQ,EAAC,UAAU,CAAC,EAAE,CAAC;4BACvH,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;wBACvC,CAAC;oBACH,CAAC,CAAC,CAAC;oBAEH,IAAI,WAAW,EAAE,MAAM,EAAE,CAAC;wBACxB,IAAG,IAAI,CAAC,KAAK,CAAC,EAAC,CAAC;4BACd,MAAM,GAAG,GAAG,QAAQ,QAAQ,OAAO,IAAA,uBAAQ,EAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;4BACnE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;wBACrC,CAAC;wBACD,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBACnB,CAAC;yBAAM,CAAC;wBACN,eAAe;wBACf,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;oBAC7B,CAAC;gBACH,CAAC;gBACD,IAAI,KAAK,CAAC,IAAI,GAAG,OAAO,EAAE,CAAC;oBACvB,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACxC,OAAO,GAAG,IAAI,CAAC;gBACnB,CAAC;qBAAM,CAAC;oBACJ,OAAO,GAAG,KAAK,CAAC;gBACpB,CAAC;YACL,CAAC,QAAQ,OAAO,EAAE;YAElB,iBAAiB;YACjB,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,wBAAS,CAAC,CAAC;YAChC,CAAC;YAED,8DAA8D;YAC9D,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACvB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YACnB,OAAO,IAAI,CAAC,KAAK,CAAC;QACtB,CAAC,CAAC;QAIF;;;;;WAKG;QACH,uBAAkB,GAAG,CAAC,KAAa,EAAE,QAAyB,EAAE,KAAoB,EAAE,EAAE;YACpF,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBAC3B,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,wDAAwD;YACxD,IAAI,IAAA,yBAAQ,EAAC,QAAQ,CAAC,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,IAAI,IAAA,wBAAO,EAAC,QAAQ,CAAC,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,IAAI,IAAA,kCAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ;gBAC3D,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBAC3B,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,IAAI,IAAA,kCAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,yCAAyC;gBAC5F,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC,CAAA;QAED,wBAAwB;QACxB,mCAA8B,GAAG,CAAC,KAAoB,EAAE,WAA+B,EAAE,EAAE;YACvF,MAAM,MAAM,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;gBACvH,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;gBACvH,MAAM,SAAS,GAAG,IAAI,qBAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC3C,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACxC,CAAC;QACL,CAAC,CAAC;QAEF,4BAAuB,GAAG,CAAC,KAAoB,EAAE,EAAe,EAAE,EAAE;YAChE,MAAM,MAAM,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAClD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACvI,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACvI,CAAC;YACL,CAAC;QACL,CAAC,CAAC;QAEF,oDAAoD;QACpD,gCAA2B,GAAG,CAAC,EAAe,EAAE,EAAE;YAC9C,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAA,iBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACpJ,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAA,iBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACpJ,CAAC;YACL,CAAC;QACL,CAAC,CAAC;QAEF;;;;;WAKG;QACK,mBAAc,GAAG,CAAC,MAAc,EAAE,KAAoB,EAAE,SAAkB,EAAqC,EAAE;YACrH,OAAO;YACP,MAAM,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACrF,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,OAAO,gBAAgB,CAAC;YAC5B,CAAC;YAED,OAAO;YACP,MAAM,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YACtF,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,OAAO,gBAAgB,CAAC;YAC5B,CAAC;YAED,2BAA2B;YAC3B,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,wBAAS,EAAE,CAAC;gBACvF,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;YAED,OAAO,SAAS,CAAC;QACrB,CAAC,CAAA;QAED;;;;;;;;;;WAUG;QACK,wBAAmB,GAAG,CAC1B,YAA2D,EAC3D,KAAoB,EACpB,SAAkB,EAClB,WAAoB,EACa,EAAE;YAEnC,mBAAmB;YACnB,IAAI,WAAW,EAAE,CAAC;gBACd,qBAAqB;gBACrB,MAAM,UAAU,GAAqB,EAAE,CAAC;gBAExC,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;oBACpC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC;oBAC5B,MAAM,aAAa,GAAG,CAAC,IAAA,wBAAO,EAAC,EAAE,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;oBAEnF,IAAI,aAAa,IAAI,IAAA,0BAAS,EAAC,EAAE,CAAC,EAAE,CAAC;wBACjC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;4BAC3B,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBACxB,CAAC;oBACL,CAAC;gBACL,CAAC;gBAED,qBAAqB;gBACrB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACxB,OAAO,UAAU,CAAC;gBACtB,CAAC;YACL,CAAC;YAED,oCAAoC;YACpC,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,IAAI,SAAS,GAAG,KAAK,CAAC;YAEtB,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;gBACpC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC;gBAC5B,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC5B,UAAU,GAAG,IAAI,CAAC;gBACtB,CAAC;qBAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;oBAChC,OAAO,GAAG,IAAI,CAAC;gBACnB,CAAC;qBAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBAClC,SAAS,GAAG,IAAI,CAAC;gBACrB,CAAC;YACL,CAAC;YAED,gCAAgC;YAChC,IAAI,UAAU,EAAE,CAAC;gBACb,OAAO,CAAC,4BAAa,CAAC,CAAC;YAC3B,CAAC;YACD,IAAI,OAAO,IAAI,SAAS,EAAE,CAAC;gBACvB,OAAO,CAAC,yBAAU,CAAC,CAAC;YACxB,CAAC;YAED,YAAY;YACZ,MAAM,MAAM,GAAqB,EAAE,CAAC;YAEpC,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;gBACpC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC;gBAC5B,MAAM,aAAa,GAAG,CAAC,IAAA,wBAAO,EAAC,EAAE,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;gBAEnF,IAAI,aAAa,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;oBACxC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpB,CAAC;YACL,CAAC;YAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,OAAO,MAAM,CAAC;YAClB,CAAC;YAED,OAAO,SAAS,CAAC;QACrB,CAAC,CAAA;QAGO,mBAAc,GAAG,CAAC,EAAe,EAAe,EAAE;YACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;YAE3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAElC,IAAI,KAAK,GAAG,CAAC,CAAC;YAEd,IAAI,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;YAEzC,2DAA2D;YAC3D,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,MAAc,EAAE,EAAE;gBACvD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvB,OAAO;gBACT,CAAC;gBAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAEnB,wCAAwC;gBACxC,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC1C,mBAAmB;oBACnB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;gBAC1B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAErB,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;oBAC9B,MAAM,QAAQ,GAAG,IAAA,iCAAkB,EAAC,EAAE,CAAC,CAAC;oBACxC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;wBAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;wBAC9B,IAAI,IAAI,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACzB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;wBACtC,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/B,CAAC,CAAC;YAEF,mEAAmE;YACnE,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,MAAc,EAAE,EAAE;gBACvD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvB,OAAO;gBACT,CAAC;gBAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAEnB,kDAAkD;gBAClD,KAAK,MAAM,EAAE,IAAI,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChD,MAAM,QAAQ,GAAG,IAAA,iCAAkB,EAAC,EAAE,CAAC,CAAC;oBACxC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;wBAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;wBAC9B,IAAI,IAAI,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACzB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;wBACtC,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/B,CAAC,CAAC;YAEF,2DAA2D;YAC3D,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC3C,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAChC,CAAC;YAED,wEAAwE;YACxE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC3C,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAChC,CAAC;YAED,KAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAC,CAAC;gBAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;gBAC9B,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;YACpC,CAAC;YAED,OAAO,QAAQ,CAAC;QAClB,CAAC,CAAA;QAED,8BAA8B;QAC9B,eAAU,GAAG,CAAC,KAAoB,EAAE,EAAE;YAClC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBACvC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAA,2BAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5D,CAAC;QACL,CAAC,CAAA;QAED;;;;;;;;;WASG;QACH,2EAA2E;QAC3E,sBAAiB,GAAG,CAAC,KAAoB,EAAE,GAAgB,EAAE,kBAAuD,EAMjH,EAAE;YACD,qDAAqD;YACrD,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,uEAAuE;YAEvE,MAAM,UAAU,GAMX,EAAE,CAAC;YAER,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC3C,+CAA+C;YAC/C,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC9C,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAA,4BAAkB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;gBAElG,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;oBACV,8CAA8C;oBAC9C,SAAS;gBACb,CAAC;gBAED,yEAAyE;gBACzE,8DAA8D;gBAC9D,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;oBAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC;oBAC/B,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAA,4BAAkB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;oBAClG,gFAAgF;oBAChF,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;wBACjE,SAAS;oBACb,CAAC;oBACD,IAAI,CAAC,IAAA,wBAAO,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;wBACrC,UAAU,CAAC,IAAI,CAAC;4BACZ,MAAM;4BACN,MAAM;4BACN,WAAW,EAAE,OAAO,CAAC,QAAQ;4BAC7B,OAAO,EAAE,IAAA,8BAAmB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC;4BACtD,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;yBAClD,CAAC,CAAC;oBACP,CAAC;gBACL,CAAC;gBAED,uEAAuE;gBACvE,8DAA8D;gBAC9D,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;oBAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC;oBAE/B,qFAAqF;oBACrF,IAAI,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACpD,SAAS;oBACb,CAAC;oBAED,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAA,4BAAkB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;oBAClG,gFAAgF;oBAChF,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;wBACjE,SAAS;oBACb,CAAC;oBACD,IAAI,CAAC,IAAA,wBAAO,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;wBACrC,UAAU,CAAC,IAAI,CAAC;4BACZ,MAAM;4BACN,MAAM;4BACN,WAAW,EAAE,OAAO,CAAC,QAAQ;4BAC7B,OAAO,EAAE,IAAA,8BAAmB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC;4BACtD,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;yBAClD,CAAC,CAAC;oBACP,CAAC;gBACL,CAAC;YACL,CAAC;YAED,OAAO,UAAU,CAAC;QACtB,CAAC,CAAA;QAED,0EAA0E;QAC1E,6CAAwC,GAAG,CAAC,EAAe,EAAE,gBAAoE,EAAE,EAAE;YACjI,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAA,iBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACtK,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAA,iBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACtK,CAAC;YACL,CAAC;QACL,CAAC,CAAC;QAEF,uDAAuD;QACvD,2CAA2C;QAC3C,8BAA8B;QAC9B,kCAAkC;QAClC,UAAU;QACV,IAAI;QAEJ,UAAK,GAAG,GAAG,EAAE;YACT,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACvB,CAAC,CAAA;QA5dG,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;IAC3B,CAAC;CA0dJ;AAneD,wBAmeC;AAGD,MAAM,SAAS,GAAG,CAAC,EAAmB,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;AAGvD,yDAAyD;AACzD,oEAAoE;AACpE,iCAAiC;AACjC,cAAc;AACd,MAAM,iBAAiB,GAAG,CAAC,EAAmB,EAAE,KAAoB,EAAW,EAAE;IAC7E,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAG,EAAE,CAAC,QAAQ,KAAK,WAAW,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAC,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAA,+BAAc,EAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAE,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,EAAE,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;YACrC,IAAI,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;QACvD,CAAC;IACL,CAAC;IAED,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QACxB,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;QACvD,CAAC;IACL,CAAC;IAED,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,cAAc,IAAI,iBAAiB,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1F,CAAC;IACL,CAAC;IAED,IAAI,EAAE,CAAC,WAAW,IAAI,iBAAiB,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,EAAE,CAAC,SAAS,IAAI,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,EAAE,CAAC,WAAW,IAAI,iBAAiB,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,EAAE,CAAC,QAAQ,IAAI,iBAAiB,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,EAAE,CAAC,SAAS,IAAI,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,EAAE,CAAC,SAAS,IAAI,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,EAAE,CAAC,UAAU,IAAI,iBAAiB,CAAC,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1E,OAAO,KAAK,CAAC;AACjB,CAAC,CAAA;AAED,SAAgB,WAAW,CAAC,CAAS;IACnC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7E,CAAC;AAHD,kCAGC"}
+{"version":3,"file":"solver.js","sourceRoot":"","sources":["../../src/typer/solver.ts"],"names":[],"mappings":";;;AAMA,mCAAiD;AAEjD,yCAAuE;AACvE,qCAA2C;AAC3C,uCAA8E;AAE9E,iDAUwB;AAExB,qDAS0B;AAE1B,SAAS,sBAAsB,CAAC,MAAc;IAC5C,MAAM,SAAS,GAAI,CAAC,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;IAChD,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA,EAAE;QACzB,yBAAyB;QACzB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IAC1B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AACD,MAAa,MAAM;IAKf,YAAY,GAAW;QAMvB,uDAAuD;QACvD,2BAAsB,GAAG,CAAC,MAAmB,IAAI,CAAC,EAAE,EAAiB,EAAE;YACnE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;YAEhD,iBAAiB;YACjB,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;YAEpC,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,0CAA0C;YAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,QAAQ;gBACnB,CAAC,CAAC,CAAC,CAAS,EAAE,EAAE;oBACZ,OAAO,CAAC,KAAK,QAAQ,CAAC;gBACxB,CAAC;gBACH,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;YAEhB,GAAG,CAAC;gBACA,IAAI,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;gBACzB,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACnB,MAAM,GAAG,GAAG,IAAA,wBAAe,EAAC,EAAE,CAAC,CAAC;oBAChC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACrB,CAAC;gBACD,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC9C,MAAM,KAAK,GAAG,CAAC,KAAoB,EAAE,MAAc,EAAE,EAAE;wBACrD,MAAM,MAAM,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;wBAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;wBACvI,CAAC;wBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;wBACvI,CAAC;wBACD,OAAO,MAAM,CAAC;oBAChB,CAAC,CAAC;oBACF,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChB,WAAW,CAAC,SAAS,CAAC,CAAC;oBACzB,CAAC;oBACD,SAAS,0BAA0B,CAAC,MAAc;wBAChD,OAAO,IAAI,qBAAM,CACf,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;4BACrB,mBAAmB;4BACnB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;wBAC1B,CAAC,CAAC,EACF,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;4BACrB,mBAAmB;4BACnB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;wBAC1B,CAAC,CAAC,CACH,CAAC;oBACJ,CAAC;oBACD,MAAM,WAAW,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;oBAC1D,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;oBAChD,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChB,WAAW,CAAC,aAAa,CAAC,CAAC;wBAC3B,QAAQ,CAAA;oBACV,CAAC;oBACD,sCAAsC;oBACtC,yFAAyF;oBACzF,iCAAiC;oBACjC,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;oBACvG,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;wBACjC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;wBAC9D,IAAG,IAAI,CAAC,KAAK,CAAC,EAAC,CAAC;4BACd,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,0BAA0B,IAAA,uBAAQ,EAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,2BAA2B,IAAA,uBAAQ,EAAC,UAAU,CAAC,EAAE,CAAC;4BACvH,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;wBACvC,CAAC;oBACH,CAAC,CAAC,CAAC;oBAEH,IAAI,WAAW,EAAE,MAAM,EAAE,CAAC;wBACxB,IAAG,IAAI,CAAC,KAAK,CAAC,EAAC,CAAC;4BACd,MAAM,GAAG,GAAG,QAAQ,QAAQ,OAAO,IAAA,uBAAQ,EAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;4BACnE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;wBACrC,CAAC;wBACD,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBACnB,CAAC;yBAAM,CAAC;wBACN,eAAe;wBACf,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;oBAC7B,CAAC;gBACH,CAAC;gBACD,IAAI,KAAK,CAAC,IAAI,GAAG,OAAO,EAAE,CAAC;oBACvB,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACxC,OAAO,GAAG,IAAI,CAAC;gBACnB,CAAC;qBAAM,CAAC;oBACJ,OAAO,GAAG,KAAK,CAAC;gBACpB,CAAC;YACL,CAAC,QAAQ,OAAO,EAAE;YAElB,iBAAiB;YACjB,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,wBAAS,CAAC,CAAC;YAChC,CAAC;YAED,8DAA8D;YAC9D,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACvB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YACnB,OAAO,IAAI,CAAC,KAAK,CAAC;QACtB,CAAC,CAAC;QAIF;;;;;WAKG;QACH,uBAAkB,GAAG,CAAC,KAAa,EAAE,QAAyB,EAAE,KAAoB,EAAE,EAAE;YACpF,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBAC3B,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,wDAAwD;YACxD,IAAI,IAAA,yBAAQ,EAAC,QAAQ,CAAC,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,IAAI,IAAA,wBAAO,EAAC,QAAQ,CAAC,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,IAAI,IAAA,kCAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ;gBAC3D,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBAC3B,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,IAAI,IAAA,kCAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,yCAAyC;gBAC5F,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC,CAAA;QAED,wBAAwB;QACxB,mCAA8B,GAAG,CAAC,KAAoB,EAAE,WAA+B,EAAE,EAAE;YACvF,MAAM,MAAM,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;gBACvH,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;gBACvH,MAAM,SAAS,GAAG,IAAI,qBAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC3C,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACxC,CAAC;QACL,CAAC,CAAC;QAEF,4BAAuB,GAAG,CAAC,KAAoB,EAAE,EAAe,EAAE,EAAE;YAChE,MAAM,MAAM,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAClD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACvI,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACvI,CAAC;YACL,CAAC;QACL,CAAC,CAAC;QAEF,oDAAoD;QACpD,gCAA2B,GAAG,CAAC,EAAe,EAAE,EAAE;YAC9C,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAA,iBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACpJ,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAA,iBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACpJ,CAAC;YACL,CAAC;QACL,CAAC,CAAC;QAEF;;;;;WAKG;QACK,mBAAc,GAAG,CAAC,MAAc,EAAE,KAAoB,EAAE,SAAkB,EAAqC,EAAE;YACrH,OAAO;YACP,MAAM,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACrF,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,OAAO,gBAAgB,CAAC;YAC5B,CAAC;YAED,OAAO;YACP,MAAM,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YACtF,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,OAAO,gBAAgB,CAAC;YAC5B,CAAC;YAED,2BAA2B;YAC3B,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,wBAAS,EAAE,CAAC;gBACvF,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;YAED,OAAO,SAAS,CAAC;QACrB,CAAC,CAAA;QAED;;;;;;;;;WASG;QACK,wBAAmB,GAAG,CAC1B,YAA2D,EAC3D,KAAoB,EACpB,SAAkB,EAClB,WAAoB,EACa,EAAE;YAEnC,0CAA0C;YAC1C,MAAM,UAAU,GAAqB,EAAE,CAAC;YACxC,mBAAmB;YACnB,IAAI,WAAW,EAAE,CAAC;gBAEd,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;oBACpC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC;oBAC5B,MAAM,aAAa,GAAG,CAAC,IAAA,wBAAO,EAAC,EAAE,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAA,8BAAa,EAAC,EAAE,CAAC,CAAC,CAAC;oBAExG,IAAI,aAAa,IAAI,IAAA,0BAAS,EAAC,EAAE,CAAC,EAAE,CAAC;wBACjC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;4BAC3B,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBACxB,CAAC;oBACL,CAAC;gBACL,CAAC;gBAED,4CAA4C;gBAC5C,mCAAmC;gBACnC,MAAM,kBAAkB,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;oBAC3E,IAAI,CAAC,IAAA,0BAAS,EAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;wBAChD,OAAO,KAAK,CAAC;oBACjB,CAAC;oBACD,OAAO,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAA,4BAAW,EAAC,QAAQ,CAAC,CAAC,CAAC;gBAC1E,CAAC,CAAC,CAAC;gBACH,qBAAqB;gBACrB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;oBAC/C,OAAO,UAAU,CAAC;gBACtB,CAAC;YACL,CAAC;YAED,uEAAuE;YACvE,4BAA4B;YAC5B,IAAI,WAAW,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvC,OAAO,UAAU,CAAC;YACtB,CAAC;YAED,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,IAAI,aAAa,GAAG,KAAK,CAAC;YAC1B,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,MAAM,OAAO,GAAqB,EAAE,CAAC;YAErC,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;gBACpC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC;gBAC5B,MAAM,aAAa,GAAG,CAAC,IAAA,wBAAO,EAAC,EAAE,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAA,8BAAa,EAAC,EAAE,CAAC,CAAC,CAAC;gBACxG,IAAI,CAAC,aAAa;oBAAE,SAAS;gBAC7B,IAAI,IAAA,yBAAQ,EAAC,EAAE,CAAC,EAAE,CAAC;oBACf,OAAO,GAAG,IAAI,CAAC;oBACf,SAAS;gBACb,CAAC;gBAED,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC5B,UAAU,GAAG,IAAI,CAAC;oBAClB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC;qBAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;oBAChC,OAAO,GAAG,IAAI,CAAC;oBACf,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC;qBAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBAClC,SAAS,GAAG,IAAI,CAAC;oBACjB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC;qBAAM,CAAC;oBACJ,aAAa,GAAG,IAAI,CAAC;oBACrB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC;YACL,CAAC;YAED,IAAI,aAAa,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;oBAAE,OAAO,CAAC,4BAAa,CAAC,CAAC;gBACzD,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;oBAAE,OAAO,CAAC,yBAAU,CAAC,CAAC;gBAClF,OAAO,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC;YACD,IAAI,UAAU;gBAAE,OAAO,CAAC,4BAAa,CAAC,CAAC;YACvC,IAAI,OAAO,IAAI,SAAS;gBAAE,OAAO,CAAC,yBAAU,CAAC,CAAC;YAC9C,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,yBAAU,CAAC,CAAC;YACzD,OAAO,SAAS,CAAC;QACrB,CAAC,CAAA;QAGO,mBAAc,GAAG,CAAC,EAAe,EAAe,EAAE;YACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;YAE3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAElC,IAAI,KAAK,GAAG,CAAC,CAAC;YAEd,IAAI,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;YAEzC,2DAA2D;YAC3D,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,MAAc,EAAE,EAAE;gBACvD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvB,OAAO;gBACT,CAAC;gBAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAEnB,wCAAwC;gBACxC,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC1C,mBAAmB;oBACnB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;gBAC1B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAErB,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;oBAC9B,MAAM,QAAQ,GAAG,IAAA,iCAAkB,EAAC,EAAE,CAAC,CAAC;oBACxC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;wBAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;wBAC9B,IAAI,IAAI,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACzB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;wBACtC,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/B,CAAC,CAAC;YAEF,mEAAmE;YACnE,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,MAAc,EAAE,EAAE;gBACvD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvB,OAAO;gBACT,CAAC;gBAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAEnB,kDAAkD;gBAClD,KAAK,MAAM,EAAE,IAAI,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChD,MAAM,QAAQ,GAAG,IAAA,iCAAkB,EAAC,EAAE,CAAC,CAAC;oBACxC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;wBAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;wBAC9B,IAAI,IAAI,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACzB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;wBACtC,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/B,CAAC,CAAC;YAEF,2DAA2D;YAC3D,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC3C,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAChC,CAAC;YAED,wEAAwE;YACxE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC3C,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAChC,CAAC;YAED,KAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAC,CAAC;gBAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;gBAC9B,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;YACpC,CAAC;YAED,OAAO,QAAQ,CAAC;QAClB,CAAC,CAAA;QAED,8BAA8B;QAC9B,eAAU,GAAG,CAAC,KAAoB,EAAE,EAAE;YAClC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBACvC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAA,2BAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5D,CAAC;QACL,CAAC,CAAA;QAED;;;;;;;;;WASG;QACH,2EAA2E;QAC3E,sBAAiB,GAAG,CAAC,KAAoB,EAAE,GAAgB,EAAE,kBAAuD,EAMjH,EAAE;YACD,qDAAqD;YACrD,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,uEAAuE;YAEvE,MAAM,UAAU,GAMX,EAAE,CAAC;YAER,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC3C,+CAA+C;YAC/C,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC9C,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAA,4BAAkB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;gBAElG,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;oBACV,8CAA8C;oBAC9C,SAAS;gBACb,CAAC;gBAED,yEAAyE;gBACzE,8DAA8D;gBAC9D,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;oBAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC;oBAC/B,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAA,4BAAkB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;oBAClG,gFAAgF;oBAChF,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;wBACjE,SAAS;oBACb,CAAC;oBACD,IAAI,CAAC,IAAA,wBAAO,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;wBACrC,UAAU,CAAC,IAAI,CAAC;4BACZ,MAAM;4BACN,MAAM;4BACN,WAAW,EAAE,OAAO,CAAC,QAAQ;4BAC7B,OAAO,EAAE,IAAA,8BAAmB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC;4BACtD,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;yBAClD,CAAC,CAAC;oBACP,CAAC;gBACL,CAAC;gBAED,uEAAuE;gBACvE,8DAA8D;gBAC9D,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;oBAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC;oBAE/B,qFAAqF;oBACrF,IAAI,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACpD,SAAS;oBACb,CAAC;oBAED,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAA,4BAAkB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;oBAClG,gFAAgF;oBAChF,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;wBACjE,SAAS;oBACb,CAAC;oBACD,IAAI,CAAC,IAAA,wBAAO,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;wBACrC,UAAU,CAAC,IAAI,CAAC;4BACZ,MAAM;4BACN,MAAM;4BACN,WAAW,EAAE,OAAO,CAAC,QAAQ;4BAC7B,OAAO,EAAE,IAAA,8BAAmB,EAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC;4BACtD,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;yBAClD,CAAC,CAAC;oBACP,CAAC;gBACL,CAAC;YACL,CAAC;YAED,OAAO,UAAU,CAAC;QACtB,CAAC,CAAA;QAED,0EAA0E;QAC1E,6CAAwC,GAAG,CAAC,EAAe,EAAE,gBAAoE,EAAE,EAAE;YACjI,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAA,iBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACtK,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAA,iBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACtK,CAAC;YACL,CAAC;QACL,CAAC,CAAC;QAEF,uDAAuD;QACvD,2CAA2C;QAC3C,8BAA8B;QAC9B,kCAAkC;QAClC,UAAU;QACV,IAAI;QAEJ,UAAK,GAAG,GAAG,EAAE;YACT,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACvB,CAAC,CAAA;QAzeG,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;IAC3B,CAAC;CAueJ;AAhfD,wBAgfC;AAGD,MAAM,SAAS,GAAG,CAAC,EAAmB,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;AAGvD,yDAAyD;AACzD,oEAAoE;AACpE,iCAAiC;AACjC,cAAc;AACd,MAAM,iBAAiB,GAAG,CAAC,EAAmB,EAAE,KAAoB,EAAW,EAAE;IAC7E,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAG,EAAE,CAAC,QAAQ,KAAK,WAAW,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAC,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAA,+BAAc,EAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAE,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,EAAE,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;YACrC,IAAI,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;QACvD,CAAC;IACL,CAAC;IAED,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QACxB,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;QACvD,CAAC;IACL,CAAC;IAED,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,cAAc,IAAI,iBAAiB,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1F,CAAC;IACL,CAAC;IAED,IAAI,EAAE,CAAC,WAAW,IAAI,iBAAiB,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,EAAE,CAAC,SAAS,IAAI,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,EAAE,CAAC,WAAW,IAAI,iBAAiB,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,EAAE,CAAC,QAAQ,IAAI,iBAAiB,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,EAAE,CAAC,SAAS,IAAI,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,EAAE,CAAC,SAAS,IAAI,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,EAAE,CAAC,UAAU,IAAI,iBAAiB,CAAC,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1E,OAAO,KAAK,CAAC;AACjB,CAAC,CAAA;AAED,SAAgB,WAAW,CAAC,CAAS;IACnC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7E,CAAC;AAHD,kCAGC"}

package/out/typer/subster.d.ts

@@ -4,7 +4,7 @@ import { TyVarSolution } from './type-manager';
 export declare const emptySubst: TyVarSolution;
 export declare const substTyAnn: (env: SemEnv, m: TyVarSolution) => (ty: TypeAnnotation | undefined) => TypeAnnotation;
 export declare const inPlaceSubstTyAnn: (env: SemEnv, m: TyVarSolution) => (ty: TypeAnnotation | undefined) => TypeAnnotation;
-export declare const traverseSubstRunCheck: (env: SemEnv, nd: SyntaxNode) => void;
+export declare const traverseSubstRunCheck: (env: SemEnv, nd: SyntaxNode) => TyVarSolution;
 export declare const traverseAndSubst: (env: SemEnv) => (__node: SyntaxNode, subst: TyVarSolution) => Map<TypeAnnotation, TypeAnnotation>;
 export declare const normalizeWithSubst: (env: SemEnv, pSubst: (ty: TypeAnnotation | undefined) => TypeAnnotation, ty: TypeAnnotation | undefined) => TypeAnnotation;
 export declare function makeRefTySubst(tyParams: TypeAnnotation[], tyArgs: TypeAnnotation[]): TyVarSolution;

package/out/typer/subster.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"subster.d.ts","sourceRoot":"","sources":["../../src/typer/subster.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,UAAU,EACV,cAAc,EACjB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,MAAM,EAId,MAAM,SAAS,CAAC;AAGjB,OAAO,EAAyG,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAatJ,eAAO,MAAM,UAAU,EAAE,aAAiD,CAAC;AAG3E,eAAO,MAAM,UAAU,QAAS,MAAM,4BAA4B,cAAc,GAAG,SAAS,KAAG,cAmL9F,CAAA;AAGD,eAAO,MAAM,iBAAiB,QAAS,MAAM,4BAA4B,cAAc,GAAG,SAAS,KAAG,cAoLrG,CAAA;AAED,eAAO,MAAM,qBAAqB,QAAS,MAAM,MAAM,UAAU,SAehE,CAAA;AAED,eAAO,MAAM,gBAAgB,QAAS,MAAM,cAAc,UAAU,8DA0EnE,CAAA;AAED,eAAO,MAAM,kBAAkB,QAAU,MAAM,UAAU,CAAC,EAAE,EAAE,cAAc,GAAG,SAAS,KAAK,cAAc,MAAM,cAAc,GAAG,SAAS,mBAC/G,CAAC;AAgB7B,wBAAgB,cAAc,CAAC,QAAQ,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,aAAa,CAMlG"}
+{"version":3,"file":"subster.d.ts","sourceRoot":"","sources":["../../src/typer/subster.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,UAAU,EACV,cAAc,EACjB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,MAAM,EAId,MAAM,SAAS,CAAC;AAGjB,OAAO,EAAyG,aAAa,EAA6C,MAAM,gBAAgB,CAAC;AAWjM,eAAO,MAAM,UAAU,EAAE,aAAiD,CAAC;AA4H3E,eAAO,MAAM,UAAU,QAAS,MAAM,4BAA4B,cAAc,GAAG,SAAS,KAAG,cAuN9F,CAAA;AAGD,eAAO,MAAM,iBAAiB,QAAS,MAAM,4BAA4B,cAAc,GAAG,SAAS,KAAG,cAuNrG,CAAA;AAED,eAAO,MAAM,qBAAqB,QAAS,MAAM,MAAM,UAAU,kBA0ChE,CAAA;AAED,eAAO,MAAM,gBAAgB,QAAS,MAAM,cAAc,UAAU,8DA6EnE,CAAA;AAED,eAAO,MAAM,kBAAkB,QAAU,MAAM,UAAU,CAAC,EAAE,EAAE,cAAc,GAAG,SAAS,KAAK,cAAc,MAAM,cAAc,GAAG,SAAS,mBAC/G,CAAC;AAgB7B,wBAAgB,cAAc,CAAC,QAAQ,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,aAAa,CAMlG"}

package/out/typer/subster.js

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.makeRefTySubst = exports.normalizeWithSubst = exports.traverseAndSubst = exports.traverseSubstRunCheck = exports.inPlaceSubstTyAnn = exports.substTyAnn = exports.emptySubst = void 0;
 const nasl_concepts_1 = require("@lcap/nasl-concepts");
 const index_1 = require("./index");
-const get_q_name_1 = require("../reference-manager/get-q-name");
+const def_key_helpers_1 = require("../reference-manager/def-key-helpers");
 const type_manager_1 = require("./type-manager");
 const type_predicate_1 = require("./type-predicate");
 const query_tokens_1 = require("./query-manager/query-tokens");
@@ -15,6 +15,100 @@ const typer_1 = require("./typer");
 const service_1 = require("@lcap/nasl-concepts/service");
 const nasl_utils_1 = require("@lcap/nasl-utils");
 exports.emptySubst = new Map();
+/**
+ * 解析 SelectOverload 类型的参数并调用重载函数解析器
+ * TypeArguments encoding: [fnNameLiteral, namespaceLiteral, genCountLiteral, ...typeArgs, ...argTypes]
+ * @param env 语义环境
+ * @param typeArguments 类型参数数组
+ * @param pSubst 类型替换函数
+ * @returns 解析结果，包含解析后的返回类型
+ */
+const resolveSelectOverloadBase = (env, typeArguments, pSubst) => {
+    // 至少需要 3 个基础参数（fnName, namespace, genCount）
+    if (!typeArguments || typeArguments.length < 3) {
+        console.log('resolveSelectOverloadBase: typeArguments 长度不足', `length: ${typeArguments?.length ?? 0}`);
+        return { retTy: undefined, name: '', nsp: '' };
+    }
+    const fnNameLit = typeArguments[0];
+    const nspLit = typeArguments[1];
+    const genCountLit = typeArguments[2];
+    const name = (fnNameLit?.typeKind === 'literal' ? fnNameLit.literal : undefined) ?? '';
+    const nsp = (nspLit?.typeKind === 'literal' ? nspLit.literal : undefined) ?? '';
+    const genCount = parseInt((genCountLit?.typeKind === 'literal' ? genCountLit.literal : '0') || '0', 10) || 0;
+    const allArgs = typeArguments.slice(3).map(pSubst);
+    const typeArgs = allArgs.slice(0, genCount);
+    const callArgs = allArgs.slice(genCount);
+    const { retTy } = (0, overload_helper_1.resolveOverloadedFunction)(env, nsp, name, callArgs, typeArgs);
+    return { retTy, name, nsp };
+};
+/**
+ * 解析 SelectOverload 类型
+ * @param env 语义环境
+ * @param ty SelectOverload 类型
+ * @param pSubst 类型替换函数
+ * @returns 解析后的类型，如果解析失败则返回原类型
+ */
+const resolveSelectOverload = (env, ty, pSubst) => {
+    const typeArguments = ty.typeArguments || [];
+    const { retTy } = resolveSelectOverloadBase(env, typeArguments, pSubst);
+    return retTy ?? ty;
+};
+/**
+ * 解析 SelectOverloadGenericItem 类型
+ * @param env 语义环境
+ * @param ty SelectOverloadGenericItem 类型
+ * @param pSubst 类型替换函数
+ * @returns 解析后的类型，如果解析失败则返回原类型
+ */
+const resolveSelectOverloadGenericItem = (env, ty, pSubst) => {
+    const typeArguments = ty.typeArguments || [];
+    // 检查 typeArguments 长度是否足够（至少需要包含 SelectOverload 的基础参数 + typeName + index）
+    if (typeArguments.length < 5) {
+        // SelectOverload 至少需要 3 个基础参数（fnName, namespace, genCount），加上 typeName 和 index 至少需要 5 个
+        console.log('化简失败：typeArguments 长度不足', (0, type_manager_1.showType)(ty), `length: ${typeArguments.length}`);
+        return ty;
+    }
+    const restArgs = typeArguments.slice(0, -2);
+    const typeName = typeArguments[typeArguments.length - 2];
+    const index = typeArguments[typeArguments.length - 1];
+    // 检查并提取类型名和索引
+    if (!typeName || typeName.typeKind !== 'literal' || typeof typeName.literal !== 'string') {
+        console.log('化简失败：类型名不是字符串字面量', (0, type_manager_1.showType)(ty));
+        return ty;
+    }
+    if (!index || index.typeKind !== 'literal' || typeof index.literal !== 'string') {
+        console.log('化简失败：索引不是字符串字面量', (0, type_manager_1.showType)(ty));
+        return ty;
+    }
+    const expectedTypeName = typeName.literal;
+    if (!expectedTypeName) {
+        console.log('化简失败：类型名为空字符串', (0, type_manager_1.showType)(ty));
+        return ty;
+    }
+    const indexStr = index.literal;
+    const indexNum = parseInt(indexStr, 10);
+    if (isNaN(indexNum) || indexNum < 0) {
+        console.log('化简失败：无效的索引', (0, type_manager_1.showType)(ty), indexStr);
+        return ty;
+    }
+    // 使用基础函数解析重载
+    const { retTy } = resolveSelectOverloadBase(env, restArgs, pSubst);
+    if (retTy && (0, type_predicate_1.isResolvedTy)(retTy) && (0, type_predicate_1.isNaslGenericTy)(retTy) && retTy.typeName === expectedTypeName) {
+        const genericTypeArgs = retTy.typeArguments;
+        if (!genericTypeArgs || indexNum >= genericTypeArgs.length) {
+            console.log('化简失败：索引越界', (0, type_manager_1.showType)(ty), (0, type_manager_1.showType)(retTy), `index: ${indexNum}, arrayLength: ${genericTypeArgs?.length ?? 0}`);
+            return ty;
+        }
+        const targetTy = genericTypeArgs[indexNum];
+        if (targetTy) {
+            return targetTy;
+        }
+        console.log('化简失败：无法从返回类型中提取指定索引的类型参数', (0, type_manager_1.showType)(ty), (0, type_manager_1.showType)(retTy), `index: ${indexNum}`);
+        return ty;
+    }
+    console.log('化简失败：返回类型不匹配或无法解析', (0, type_manager_1.showType)(ty), (0, type_manager_1.showType)(retTy), `expectedTypeName: ${expectedTypeName}`);
+    return ty;
+};
 // 目前仅进行一次代换，无递归代换
 const substTyAnn = (env, m) => (ty) => {
     if (!ty) {
@@ -49,7 +143,19 @@ const substTyAnn = (env, m) => (ty) => {
     if (newTy.constraints) {
         newTy.constraints = (0, exports.substTyAnn)(env, m)(newTy.constraints);
     }
-    if (ty.typeKind === 'function') {
+    if (ty.typeKind === 'union') {
+        const typeArguments = (0, type_manager_1.removeTysDup)(env, ty.typeArguments || []);
+        if (typeArguments?.length !== ty.typeArguments?.length) {
+            if (typeArguments?.length === 1) {
+                return typeArguments?.[0];
+            }
+            ty.updateInstance({
+                typeArguments,
+            });
+        }
+        return ty;
+    }
+    else if (ty.typeKind === 'function') {
         if (ty.fnArgs) {
             newTy.fnArgs = ty.fnArgs.map(x => {
                 return {
@@ -60,12 +166,25 @@ const substTyAnn = (env, m) => (ty) => {
             });
         }
     }
-    else if (ty.typeKind === 'indexedAccess') {
+    else if ((0, type_predicate_1.isIndexedType)(ty)) {
         const pSubst = (0, exports.substTyAnn)(env, m);
         const objectType = pSubst(ty.objectType);
         const indexType = pSubst(ty.indexType);
-        // 化简失败，则化简objectType和indexType即可
-        return (0, type_operator_1.typePick)(env, objectType, indexType, pSubst) ?? nasl_concepts_1.TypeAnnotation.createIndexedType(objectType, indexType);
+        // 尝试从 objectType 中提取属性类型
+        const pickedType = (0, type_operator_1.typePick)(env, objectType, indexType, pSubst);
+        if (pickedType !== undefined) {
+            return pickedType;
+        }
+        // 如果 typePick 返回 undefined，需要判断是属性不存在还是类型未求解
+        // 如果 objectType 已经求解到可以判断属性是否存在的地步，但属性不存在，
+        // 则不应该创建新的 IndexedType（避免死循环），而是返回 naslAnyTy
+        if ((0, type_operator_1.canDeterminePropertyExistence)(env, objectType)) {
+            // 属性不存在，返回 naslAnyTy 表示无法求解，避免死循环
+            // 类型错误会在其他地方（如 normalize 或类型检查）被报告
+            return index_1.naslAnyTy;
+        }
+        // objectType 尚未求解，可以创建新的 IndexedType 等待后续求解
+        return nasl_concepts_1.TypeAnnotation.createIndexedType(objectType, indexType);
     }
     else if (ty.typeKind === 'generic') {
         if (ty.typeName === 'DeDataSource') {
@@ -104,6 +223,24 @@ const substTyAnn = (env, m) => (ty) => {
             }
             return ty;
         }
+        else if (ty.typeName === 'Exclude') {
+            // Exclude<T, U>: 从 T 中排除 U 包含的类型
+            const pSubst = (0, exports.substTyAnn)(env, m);
+            const baseTy = (0, typer_1.normalize)(env, pSubst(ty.typeArguments?.[0]));
+            const excludedTy = pSubst(ty.typeArguments?.[1]);
+            if ((0, type_predicate_1.isUnionTy)(baseTy) && baseTy.typeArguments?.length) {
+                // 从 baseTy 的 typeArguments 中过滤掉 excludedTy 包含的类型
+                const excludedTys = (0, type_predicate_1.isUnionTy)(excludedTy) ? excludedTy.typeArguments : [excludedTy];
+                const remainingTys = baseTy.typeArguments.filter(t1 => !excludedTys?.some(t2 => (0, type_predicate_1.isEqualTy)(env, t1, t2)));
+                if (remainingTys.length > 0) {
+                    return (0, type_manager_1.createUnionTyAnnIfNecessary)(env, remainingTys);
+                }
+                // 如果排除后为空，返回 naslAnyTy（理论上不应该发生）
+                return index_1.naslAnyTy;
+            }
+            // baseTy 不是 union 或无法求解，保持原样
+            return ty;
+        }
         else if (ty.typeName === 'SelectBinaryOverload') {
             const pSubst = (0, exports.substTyAnn)(env, m);
             // FIXME wudengke 直接读第一个泛型参数会因为upcast而丢失literal值，因此写死
@@ -124,21 +261,14 @@ const substTyAnn = (env, m) => (ty) => {
             return (0, type_operator_1.applyCheckUniqueKeys)(env, ty, (0, exports.substTyAnn)(env, m));
         }
         else if (ty.typeName === 'SelectOverload') {
-            // TypeArguments encoding: [fnNameLiteral, namespaceLiteral, genCountLiteral, ...typeArgs, ...argTypes]
             const pSubst = (0, exports.substTyAnn)(env, m);
-            const fnNameLit = ty.typeArguments?.[0];
-            const nspLit = ty.typeArguments?.[1];
-            const genCountLit = ty.typeArguments?.[2];
-            const name = (fnNameLit?.typeKind === 'literal' ? fnNameLit.literal : undefined) ?? '';
-            const nsp = (nspLit?.typeKind === 'literal' ? nspLit.literal : undefined) ?? '';
-            const genCount = parseInt((genCountLit?.typeKind === 'literal' ? genCountLit.literal : '0') || '0', 10) || 0;
-            const allArgs = (ty.typeArguments ?? []).slice(3).map(pSubst);
-            const typeArgs = allArgs.slice(0, genCount);
-            const callArgs = allArgs.slice(genCount);
-            const { retTy } = (0, overload_helper_1.resolveOverloadedFunction)(env, nsp, name, callArgs, typeArgs);
-            return retTy ?? ty;
-        }
-        const qName = (0, get_q_name_1.getTokenQualifiedName)(ty);
+            return resolveSelectOverload(env, ty, pSubst);
+        }
+        else if (ty.typeName === 'SelectOverloadGenericItem') {
+            const pSubst = (0, exports.substTyAnn)(env, m);
+            return resolveSelectOverloadGenericItem(env, ty, pSubst);
+        }
+        const qName = (0, def_key_helpers_1.getGlobalDefKey)(ty);
         // 尝试从 env 中查找 typeOperator 的定义（也可以改成只从m中取）
         const typeOperatorDef = m.get(qName) ?? env.refMgr.gQNameDefs.get(qName);
         // 如果能在替换映射中查到 typeOperator 的 qName，那么使用 typeOperator 将类型映射为类型
@@ -245,7 +375,26 @@ const inPlaceSubstTyAnn = (env, m) => (ty) => {
     if (ty.constraints) {
         ty.constraints = pSubst(ty.constraints);
     }
-    if (ty.typeKind === 'function') {
+    if (ty.typeKind === 'union') {
+        const typeArguments = (0, type_manager_1.removeTysDup)(env, ty.typeArguments || []);
+        if (typeArguments?.length !== ty.typeArguments?.length) {
+            if (typeArguments?.length === 1) {
+                const typeArg = typeArguments?.[0];
+                const { typeArguments: args } = typeArg || {};
+                ty.update({
+                    ...(typeArg?.toJSON?.() || typeArg),
+                    typeArguments: args || [],
+                });
+            }
+            else {
+                ty.updateInstance({
+                    typeArguments,
+                });
+            }
+        }
+        return ty;
+    }
+    else if (ty.typeKind === 'function') {
         if (ty.fnArgs) {
             ty.fnArgs = ty.fnArgs.map(x => {
                 return {
@@ -256,10 +405,24 @@ const inPlaceSubstTyAnn = (env, m) => (ty) => {
             });
         }
     }
-    else if (ty.typeKind === 'indexedAccess') {
+    else if ((0, type_predicate_1.isIndexedType)(ty)) {
         ty.objectType = pSubst(ty.objectType);
         ty.indexType = pSubst(ty.indexType);
-        return (0, type_operator_1.typePick)(env, ty.objectType, ty.indexType, pSubst) ?? nasl_concepts_1.TypeAnnotation.createIndexedType(ty.objectType, ty.indexType);
+        // 尝试从 objectType 中提取属性类型
+        const pickedType = (0, type_operator_1.typePick)(env, ty.objectType, ty.indexType, pSubst);
+        if (pickedType !== undefined) {
+            return pickedType;
+        }
+        // 如果 typePick 返回 undefined，需要判断是属性不存在还是类型未求解
+        // 如果 objectType 已经求解到可以判断属性是否存在的地步，但属性不存在，
+        // 则不应该创建新的 IndexedType（避免死循环），而是返回 naslAnyTy
+        if ((0, type_operator_1.canDeterminePropertyExistence)(env, ty.objectType)) {
+            // 属性不存在，返回 naslAnyTy 表示无法求解，避免死循环
+            // 类型错误会在其他地方（如 normalize 或类型检查）被报告
+            return index_1.naslAnyTy;
+        }
+        // objectType 尚未求解，可以创建新的 IndexedType 等待后续求解
+        return nasl_concepts_1.TypeAnnotation.createIndexedType(ty.objectType, ty.indexType);
     }
     else if (ty.typeKind === 'generic') {
         if (ty.typeName === 'DeDataSource') {
@@ -289,6 +452,21 @@ const inPlaceSubstTyAnn = (env, m) => (ty) => {
             }
             return ty;
         }
+        else if (ty.typeName === 'Exclude') {
+            // Exclude<T, U>: 从 T 中排除 U 包含的类型
+            const baseTy = (0, typer_1.normalize)(env, pSubst(ty.typeArguments?.[0]));
+            const excludedTy = pSubst(ty.typeArguments?.[1]);
+            if ((0, type_predicate_1.isUnionTy)(baseTy) && baseTy.typeArguments?.length) {
+                // 从 baseTy 的 typeArguments 中过滤掉 excludedTy 包含的类型
+                const excludedTys = (0, type_predicate_1.isUnionTy)(excludedTy) ? excludedTy.typeArguments : [excludedTy];
+                const remainingTys = baseTy.typeArguments.filter(t1 => !excludedTys?.some(t2 => (0, type_predicate_1.isEqualTy)(env, t1, t2)));
+                if (remainingTys.length > 0) {
+                    return (0, type_manager_1.createUnionTyAnnIfNecessary)(env, remainingTys);
+                }
+                return index_1.naslAnyTy;
+            }
+            return ty;
+        }
         else if (ty.typeName === 'SelectBinaryOverload') {
             // FIXME wudengke 直接读第一个泛型参数会因为upcast而丢失literal值，因此写死
             const functionName = type_operator_1.NaslCoreBinaryOperator.add;
@@ -315,24 +493,12 @@ const inPlaceSubstTyAnn = (env, m) => (ty) => {
             return (0, type_operator_1.applyCheckUniqueKeys)(env, ty, pSubst);
         }
         else if (ty.typeName === 'SelectOverload') {
-            // TypeArguments encoding: [fnNameLiteral, namespaceLiteral, genCountLiteral, ...typeArgs, ...argTypes]
-            const fnNameLit = ty.typeArguments?.[0];
-            const nspLit = ty.typeArguments?.[1];
-            const genCountLit = ty.typeArguments?.[2];
-            const name = (fnNameLit?.typeKind === 'literal' ? fnNameLit.literal : undefined) ?? '';
-            const nsp = (nspLit?.typeKind === 'literal' ? nspLit.literal : undefined) ?? '';
-            const genCount = parseInt((genCountLit?.typeKind === 'literal' ? genCountLit.literal : '0') || '0', 10) || 0;
-            const allArgs = (ty.typeArguments ?? []).slice(3).map(pSubst);
-            const typeArgs = allArgs.slice(0, genCount);
-            const callArgs = allArgs.slice(genCount);
-            const { retTy } = (0, overload_helper_1.resolveOverloadedFunction)(env, nsp, name, callArgs, typeArgs);
-            if (!retTy) {
-                // FIXME wudengke 删掉这个日志
-                // console.log('化简失败', showType(ty), showType(retTy));
-            }
-            return retTy ?? ty;
+            return resolveSelectOverload(env, ty, pSubst);
+        }
+        else if (ty.typeName === 'SelectOverloadGenericItem') {
+            return resolveSelectOverloadGenericItem(env, ty, pSubst);
         }
-        const qName = (0, get_q_name_1.getTokenQualifiedName)(ty);
+        const qName = (0, def_key_helpers_1.getGlobalDefKey)(ty);
         // 尝试从 env 中查找 typeOperator 的定义（也可以改成只从m中取）
         const typeOperatorDef = m.get(qName) ?? env.refMgr.gQNameDefs.get(qName);
         // 如果能在替换映射中查到 typeOperator 的 qName，那么使用 typeOperator 将类型映射为类型
@@ -391,36 +557,64 @@ const inPlaceSubstTyAnn = (env, m) => (ty) => {
 exports.inPlaceSubstTyAnn = inPlaceSubstTyAnn;
 const traverseSubstRunCheck = (env, nd) => {
     env.solver = new index_1.Solver(env);
-    const subst = env.solver.simpleSolveConstraints();
+    // 非页面场景（逻辑/流程/大 JSON）：不启用草稿区隔离，走轻量路径，只在主 cs 上求解
+    // 视图场景（env.isView）下才启用草稿区隔离逻辑
+    if (!env.isView) {
+        const csToSolve = env.unifier.cs;
+        const subst = env.solver.simpleSolveConstraints(csToSolve);
+        const normalizedSemTyMap = (0, exports.traverseAndSubst)(env)(nd, subst);
+        if (!env.isErrorReportingDisabled() && !env.hasErrorDelegatee) {
+            const errs = env.solver.postCheckSolution(subst, csToSolve, normalizedSemTyMap);
+            if (errs.length > 0) {
+                for (const err of errs) {
+                    env.addError(err.message, env.getCurFileNode(), err.errBoundary, err.fromPlayground ? 'warning' : 'error');
+                }
+            }
+        }
+        if (!env.hasErrorDelegatee) {
+            env.runPostChecks(subst);
+        }
+        return subst;
+    }
+    // 页面/草稿区场景：在 playgroundCs 上求解（包含主线镜像与增量）；主线在 cs 上求解
+    const csToSolve = env.isPlayground ? env.playgroundCs : env.unifier.cs;
+    const subst = env.solver.simpleSolveConstraints(csToSolve);
     const normalizedSemTyMap = (0, exports.traverseAndSubst)(env)(nd, subst);
-    if (!env.isErrorReportingDisabled()) {
-        const errs = env.solver.postCheckSolution(subst, env.solver.cs, normalizedSemTyMap);
+    if (!env.isErrorReportingDisabled() && !env.hasErrorDelegatee) {
+        const errs = env.solver.postCheckSolution(subst, csToSolve, normalizedSemTyMap);
         if (errs.length > 0) {
             for (const err of errs) {
                 env.addError(err.message, env.getCurFileNode(), err.errBoundary, err.fromPlayground ? 'warning' : 'error');
             }
         }
     }
-    env.runPostChecks(subst);
+    if (!env.hasErrorDelegatee) {
+        // 没有错误委托者，才运行后置校验
+        env.runPostChecks(subst);
+    }
+    return subst;
 };
 exports.traverseSubstRunCheck = traverseSubstRunCheck;
 const traverseAndSubst = (env) => (__node, subst) => {
     const normalizedSemTyMap = new Map();
     const node = (0, nasl_utils_1.toRaw)(__node);
     const pSubst = (0, exports.inPlaceSubstTyAnn)(env, subst);
-    // Compute visible local symbol names for gating draft-type propagation (replaces env.localVars)
-    const localVarNames = env.refMgr.getVisibleLocalSyms(node, { includeShadowed: true })
-        .map(s => (0, get_q_name_1.getTokenQualifiedName)(s));
+    // Compute visible local symbol names for gating draft-type propagation（仅在视图场景下需要）
+    const localVarNames = env.isView
+        ? env.refMgr.getVisibleLocalSyms(node, { includeShadowed: true }).map(s => (0, def_key_helpers_1.getGlobalDefKey)(s))
+        : [];
     const substNode = (__nd) => {
         const nd = (0, nasl_utils_1.toRaw)(__nd);
-        if ((0, service_1.isTypeInferConcept)(nd) &&
-            localVarNames?.includes(nd.name) &&
-            !nd.typeAnnotation && // 并没有显式标注类型
-            !nd.defaultValue // 也并没有默认值可以推导类型
-        ) {
-            // 这是为了实现"草稿区不参与局部变量"的类型推导。
-            // 此处 return，即可产生节点上无类型标注的效果。等 use 处的 Identifier 来写 nd 的类型
-            return;
+        if (env.isView) {
+            if ((0, service_1.isTypeInferConcept)(nd) &&
+                localVarNames?.includes(nd.name) &&
+                !nd.typeAnnotation && // 并没有显式标注类型
+                !nd.defaultValue // 也并没有默认值可以推导类型
+            ) {
+                // 这是为了实现"草稿区不参与局部变量"的类型推导。
+                // 此处 return，即可产生节点上无类型标注的效果。等 use 处的 Identifier 来写 nd 的类型
+                return;
+            }
         }
         const ndSemTy = env.typeBindings.get(nd);
         const callInfo = env.resolvedCallInfo.get(nd);
@@ -439,9 +633,9 @@ const traverseAndSubst = (env) => (__node, subst) => {
                 const def = env.idToVar.get(nd);
                 if (def) {
                     const refSemTy = env.typeBindings.get(def);
-                    if (!refSemTy || refSemTy.typeKind === 'typeParam') {
-                        // 全是草稿区的引用，不参与变量类型推导
-                        if (env.allRefsInPlayground.has(def)) {
+                    if ((!refSemTy || refSemTy.typeKind === 'typeParam') && (env.isView || !(0, type_predicate_1.isAnyTy)(resolvedNdSemTy))) {
+                        // 如果当前 Identifier 在草稿区引用集合中，说明这个引用在草稿区，不参与变量类型推导
+                        if (env.allRefsInPlayground.has(nd)) {
                             (0, type_predicate_1.isResolvedUserTy)(resolvedNdSemTy) && env.varCandidateTypes.set(def, resolvedNdSemTy);
                         }
                         else {