@aster-cloud/aster-lang-ts 1.6.0 → 2.0.0

package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.js

@@ -28,6 +28,7 @@ import { typecheckBrowser } from '../../../src/typecheck/browser.js';
 import { Effect } from '../../../src/config/semantic.js';
 import { ERROR_METADATA } from '../../../src/diagnostics/error_codes.js';
 import { Core as CoreBuilder } from '../../../src/core/core_ir.js';
+import { toV2 } from '../../helpers/core-ir-v2.js';
 const IO_EFFECT = [Effect.IO];
 /**
  * PII codes 集合 —— **自动从 ERROR_METADATA 派生**。
@@ -56,10 +57,10 @@ function piiDiags(diags) {
 }
 const TEXT = () => CoreBuilder.TypeName('Text');
 const piiType = (level, category) => CoreBuilder.Pii(TEXT(), level, category);
-const piiParam = (name, level) => ({
+const piiParam = (name, level) => (toV2({
     name,
     type: piiType(level, 'email'),
-});
+}));
 function makeFunc(opts) {
     return CoreBuilder.Func(opts.name, [], opts.params, opts.ret, opts.effects ?? IO_EFFECT, CoreBuilder.Block(opts.body), [], false);
 }
@@ -127,7 +128,7 @@ describe('PII 跨运行时 conformance (ADR-0009 P0-1 / P0-R 扩展)', () => {
     it('场景 4：参数违规（L2 PII → plain Text param）', () => {
         const callee = makeFunc({
             name: 'plain_handler',
-            params: [{ name: 'data', type: TEXT() }],
+            params: [toV2({ name: 'data', type: TEXT() })],
             ret: TEXT(),
             effects: [Effect.PURE],
             body: [CoreBuilder.Return(CoreBuilder.Name('data'))],
@@ -147,7 +148,7 @@ describe('PII 跨运行时 conformance (ADR-0009 P0-1 / P0-R 扩展)', () => {
     it('场景 5：无 PII 代码不应误报', () => {
         const fn = makeFunc({
             name: 'no_pii',
-            params: [{ name: 'plain_text', type: TEXT() }],
+            params: [toV2({ name: 'plain_text', type: TEXT() })],
             ret: TEXT(),
             effects: [Effect.PURE],
             body: [CoreBuilder.Return(CoreBuilder.Name('plain_text'))],

package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"pii-cross-runtime-conformance.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/pii-cross-runtime-conformance.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAErE,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,EAAE,IAAI,IAAI,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAGnE,MAAM,SAAS,GAAsB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAEjD;;;;;;;;;;GAUG;AACH,MAAM,SAAS,GAAwB,IAAI,GAAG,CAC5C,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;KAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;KACzC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAc,CAAC,CACtC,CAAC;AAOF,SAAS,QAAQ,CAAC,KAAqC;IACrD,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAClE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACpB,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAwB;KACzD,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QACf,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CACjC,CAAC;AACN,CAAC;AAED,MAAM,IAAI,GAAG,GAAc,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC3D,MAAM,OAAO,GAAG,CAAC,KAAyB,EAAE,QAAkC,EAAa,EAAE,CAC3F,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC3C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,KAAyB,EAAkB,EAAE,CAAC,CAAC;IAC7E,IAAI;IACJ,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC;CAC9B,CAAC,CAAC;AAEH,SAAS,QAAQ,CAAC,IAMjB;IACC,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,CAAC,IAAI,EACT,EAAE,EACF,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,GAAG,EACR,IAAI,CAAC,OAAO,IAAI,SAAS,EACzB,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAC5B,EAAE,EACF,KAAK,CACN,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAmB,EACnB,mBAA4B,EAC5B,OAAe;IAEf,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;IAExD,IAAI,mBAAmB,EAAE,CAAC;QACxB,MAAM,CAAC,EAAE,CACP,SAAS,CAAC,MAAM,GAAG,CAAC,EACpB,IAAI,OAAO,8BAA8B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CACrE,CAAC;QACF,MAAM,CAAC,EAAE,CACP,YAAY,CAAC,MAAM,GAAG,CAAC,EACvB,IAAI,OAAO,gDAAgD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAC1F,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,SAAS,CACd,SAAS,EACT,YAAY,EACZ,IAAI,OAAO,4BAA4B;QACrC,cAAc,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI;QAC3C,cAAc,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAC/C,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,QAAQ,CAAC;YAClB,IAAI,EAAE,yBAAyB;YAC/B,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YACpC,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,SAAS;YAClB,IAAI,EAAE;gBACJ,WAAW,CAAC,MAAM,CAChB,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE;oBAC3C,WAAW,CAAC,MAAM,CAAC,0BAA0B,CAAC;oBAC9C,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC;iBAC7B,CAAC,CACH;aACF;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,mCAAmC,EACnC,CAAC,UAAU,EAAE,EAAE,CAAC,CACjB,CAAC;QACF,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtD,MAAM,EAAE,GAAG,QAAQ,CAAC;YAClB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACjC,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,SAAS;YAClB,IAAI,EAAE;gBACJ,WAAW,CAAC,MAAM,CAChB,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE;oBAC9C,WAAW,CAAC,MAAM,CAAC,oBAAoB,CAAC;oBACxC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;iBAC1B,CAAC,CACH;aACF;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,iCAAiC,EACjC,CAAC,UAAU,EAAE,EAAE,CAAC,CACjB,CAAC;QACF,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,EAAE,GAAG,QAAQ,CAAC;YAClB,IAAI,EAAE,oBAAoB;YAC1B,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC5D,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE;gBACJ,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACvD,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjD,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aAC9C;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,mCAAmC,EACnC,CAAC,EAAE,CAAC,CACL,CAAC;QACF,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACxC,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;SACrD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACjC,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE;gBACJ,WAAW,CAAC,MAAM,CAChB,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CACjF;aACF;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,uCAAuC,EACvC,CAAC,MAAM,EAAE,MAAM,CAAC,CACjB,CAAC;QACF,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC;YAClB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YAC9C,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;SAC3D,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,gCAAgC,EAChC,CAAC,EAAE,CAAC,CACL,CAAC;QAEF,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,MAAM,YAAY,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;QAExD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,sBAAsB,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAChE,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,+BAA+B,EAC/B,EAAE,CACH,CAAC;QACF,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,MAAM,YAAY,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAChC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,sDAAsD;QACtD,6CAA6C;QAC7C,yCAAyC;QACzC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;aACvD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;aACzC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;QAEtC,MAAM,CAAC,EAAE,CACP,oBAAoB,CAAC,MAAM,IAAI,CAAC,EAChC,uDAAuD,oBAAoB,CAAC,MAAM,IAAI,CACvF,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,oBAAoB,EAAE,CAAC;YAC5C,MAAM,CAAC,EAAE,CACP,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EACvB,qCAAqC,QAAQ,EAAE,CAChD,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,KAAK,CACV,SAAS,CAAC,IAAI,EACd,oBAAoB,CAAC,MAAM,EAC3B,gBAAgB,SAAS,CAAC,IAAI,qBAAqB,oBAAoB,CAAC,MAAM,YAAY,CAC3F,CAAC;QAEF,8CAA8C;QAC9C,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,gCAAgC,CAAC,CAAC;QACnE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,+BAA+B,CAAC,CAAC;QAClE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,kCAAkC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"pii-cross-runtime-conformance.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/pii-cross-runtime-conformance.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAErE,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,EAAE,IAAI,IAAI,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAEnE,OAAO,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAEnD,MAAM,SAAS,GAAsB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAEjD;;;;;;;;;;GAUG;AACH,MAAM,SAAS,GAAwB,IAAI,GAAG,CAC5C,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;KAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;KACzC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAc,CAAC,CACtC,CAAC;AAOF,SAAS,QAAQ,CAAC,KAAqC;IACrD,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAClE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACpB,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAwB;KACzD,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QACf,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CACjC,CAAC;AACN,CAAC;AAED,MAAM,IAAI,GAAG,GAAc,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC3D,MAAM,OAAO,GAAG,CAAC,KAAyB,EAAE,QAAkC,EAAa,EAAE,CAC3F,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC3C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,KAAyB,EAAkB,EAAE,CAAC,CAAC,IAAI,CAAC;IAClF,IAAI;IACJ,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC;CAC9B,CAAC,CAAC,CAAC;AAEJ,SAAS,QAAQ,CAAC,IAMjB;IACC,OAAO,WAAW,CAAC,IAAI,CACrB,IAAI,CAAC,IAAI,EACT,EAAE,EACF,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,GAAG,EACR,IAAI,CAAC,OAAO,IAAI,SAAS,EACzB,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAC5B,EAAE,EACF,KAAK,CACN,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAmB,EACnB,mBAA4B,EAC5B,OAAe;IAEf,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;IAExD,IAAI,mBAAmB,EAAE,CAAC;QACxB,MAAM,CAAC,EAAE,CACP,SAAS,CAAC,MAAM,GAAG,CAAC,EACpB,IAAI,OAAO,8BAA8B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CACrE,CAAC;QACF,MAAM,CAAC,EAAE,CACP,YAAY,CAAC,MAAM,GAAG,CAAC,EACvB,IAAI,OAAO,gDAAgD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAC1F,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,SAAS,CACd,SAAS,EACT,YAAY,EACZ,IAAI,OAAO,4BAA4B;QACrC,cAAc,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI;QAC3C,cAAc,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAC/C,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,QAAQ,CAAC;YAClB,IAAI,EAAE,yBAAyB;YAC/B,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YACpC,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,SAAS;YAClB,IAAI,EAAE;gBACJ,WAAW,CAAC,MAAM,CAChB,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE;oBAC3C,WAAW,CAAC,MAAM,CAAC,0BAA0B,CAAC;oBAC9C,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC;iBAC7B,CAAC,CACH;aACF;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,mCAAmC,EACnC,CAAC,UAAU,EAAE,EAAE,CAAC,CACjB,CAAC;QACF,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtD,MAAM,EAAE,GAAG,QAAQ,CAAC;YAClB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACjC,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,SAAS;YAClB,IAAI,EAAE;gBACJ,WAAW,CAAC,MAAM,CAChB,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE;oBAC9C,WAAW,CAAC,MAAM,CAAC,oBAAoB,CAAC;oBACxC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;iBAC1B,CAAC,CACH;aACF;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,iCAAiC,EACjC,CAAC,UAAU,EAAE,EAAE,CAAC,CACjB,CAAC;QACF,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,EAAE,GAAG,QAAQ,CAAC;YAClB,IAAI,EAAE,oBAAoB;YAC1B,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC5D,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE;gBACJ,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACvD,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjD,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aAC9C;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,mCAAmC,EACnC,CAAC,EAAE,CAAC,CACL,CAAC;QACF,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YAC9C,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;SACrD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,QAAQ,CAAC;YACtB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACjC,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE;gBACJ,WAAW,CAAC,MAAM,CAChB,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CACjF;aACF;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,uCAAuC,EACvC,CAAC,MAAM,EAAE,MAAM,CAAC,CACjB,CAAC;QACF,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC;YAClB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACpD,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;SAC3D,CAAC,CAAC;QACH,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,gCAAgC,EAChC,CAAC,EAAE,CAAC,CACL,CAAC;QAEF,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,MAAM,YAAY,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;QAExD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,sBAAsB,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAChE,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAgB,WAAW,CAAC,MAAM,CAC5C,+BAA+B,EAC/B,EAAE,CACH,CAAC;QACF,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,MAAM,YAAY,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAChC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,sDAAsD;QACtD,6CAA6C;QAC7C,yCAAyC;QACzC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;aACvD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;aACzC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;QAEtC,MAAM,CAAC,EAAE,CACP,oBAAoB,CAAC,MAAM,IAAI,CAAC,EAChC,uDAAuD,oBAAoB,CAAC,MAAM,IAAI,CACvF,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,oBAAoB,EAAE,CAAC;YAC5C,MAAM,CAAC,EAAE,CACP,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EACvB,qCAAqC,QAAQ,EAAE,CAChD,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,KAAK,CACV,SAAS,CAAC,IAAI,EACd,oBAAoB,CAAC,MAAM,EAC3B,gBAAgB,SAAS,CAAC,IAAI,qBAAqB,oBAAoB,CAAC,MAAM,YAAY,CAC3F,CAAC;QAEF,8CAA8C;QAC9C,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,gCAAgC,CAAC,CAAC;QACnE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,+BAA+B,CAAC,CAAC;QAClE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,mCAAmC,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,kCAAkC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/typecheck/regression-fixes.test.js

@@ -14,6 +14,7 @@ import { typecheckModule } from '../../../src/typecheck.js';
 import { SymbolTable } from '../../../src/typecheck/symbol_table.js';
 import { DiagnosticBuilder } from '../../../src/typecheck/diagnostics.js';
 import { defineSymbol } from '../../../src/typecheck/context.js';
+import { toV2 } from '../../helpers/core-ir-v2.js';
 // 辅助函数：创建类型
 const typeName = (name) => Core.TypeName(name);
 const resultType = (ok, err) => Core.Result(ok, err);
@@ -74,30 +75,30 @@ describe('回归测试：重复符号检测', () => {
     });
     it('通过完整类型检查流程验证重复参数定义', () => {
         // 构造一个函数有两个同名参数的场景
-        const func = {
+        const func = toV2({
             kind: 'Func',
             name: 'badFunc',
             typeParams: [],
             params: [
-                { name: 'x', type: typeName('Int') },
-                { name: 'x', type: typeName('Text') }, // 重复参数名
+                toV2({ name: 'x', type: typeName('Int') }),
+                toV2({ name: 'x', type: typeName('Text') }), // 重复参数名
             ],
             effects: [],
             effectCaps: [],
             effectCapsExplicit: false,
             ret: typeName('Int'),
-            body: {
+            body: toV2({
                 kind: 'Block',
                 statements: [
-                    { kind: 'Return', expr: Core.Int(0) },
+                    toV2({ kind: 'Return', expr: Core.Int(0) }),
                 ],
-            },
-        };
-        const mod = {
+            }),
+        });
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.duplicate_param',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         assert.ok(diagnostics.some(d => d.code === "E104" /* ErrorCode.DUPLICATE_SYMBOL */), '重复参数名应触发 DUPLICATE_SYMBOL 错误');
     });
@@ -105,33 +106,33 @@ describe('回归测试：重复符号检测', () => {
 describe('回归测试：补偿效应推断', () => {
     it('workflow 效应应包含 compensate 块的效应', () => {
         // 创建一个 workflow，其中 step body 是 pure，但 compensate 调用了 io 函数
-        const step = {
+        const step = toV2({
             kind: 'step',
             name: 'step1',
             dependencies: [],
             effectCaps: [],
-            body: {
+            body: toV2({
                 kind: 'Block',
                 statements: [
                     // 纯计算，无 IO
-                    { kind: 'Return', expr: Core.Ok(Core.Int(42)) },
+                    toV2({ kind: 'Return', expr: Core.Ok(Core.Int(42)) }),
                 ],
-            },
-            compensate: {
+            }),
+            compensate: toV2({
                 kind: 'Block',
                 statements: [
                     // compensate 调用 IO 函数（使用标准 IO 前缀格式）
                     Core.Let('_cleanup', Core.Call(Core.Name('IO.cleanup'), [])),
-                    { kind: 'Return', expr: Core.Ok(Core.Null()) },
+                    toV2({ kind: 'Return', expr: Core.Ok(Core.Null()) }),
                 ],
-            },
-        };
-        const workflow = {
+            }),
+        });
+        const workflow = toV2({
             kind: 'workflow',
             steps: [step],
             effectCaps: [],
-        };
-        const func = {
+        });
+        const func = toV2({
             kind: 'Func',
             name: 'workflowWithCompensate',
             typeParams: [],
@@ -139,21 +140,21 @@ describe('回归测试：补偿效应推断', () => {
             effects: [Effect.IO], // 声明 IO 效应
             effectCaps: [],
             effectCapsExplicit: false,
-            ret: {
+            ret: toV2({
                 kind: 'TypeApp',
                 base: 'Workflow',
                 args: [resultType(typeName('Int'), typeName('Text')), typeName('IO')],
-            },
-            body: {
+            }),
+            body: toV2({
                 kind: 'Block',
                 statements: [workflow],
-            },
-        };
-        const mod = {
+            }),
+        });
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.compensate_effect',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         // 不应有 EFF_SUPERFLUOUS_IO 警告，因为 compensate 块确实有 IO 效应
         const superfluousIO = diagnostics.find(d => d.code === "E203" /* ErrorCode.EFF_SUPERFLUOUS_IO */);
@@ -162,33 +163,33 @@ describe('回归测试：补偿效应推断', () => {
     it('compensate 块的 IO 效应应触发 EFF_MISSING_IO（正向断言）', () => {
         // 正向断言：如果 compensate 有 IO 但函数未声明 IO，应报错
         // 这证明 compensate 效应确实被合并到函数效应推断中
-        const step = {
+        const step = toV2({
             kind: 'step',
             name: 'stepWithIOCompensate',
             dependencies: [],
             effectCaps: [],
-            body: {
+            body: toV2({
                 kind: 'Block',
                 statements: [
                     // 纯计算，无 IO
-                    { kind: 'Return', expr: Core.Ok(Core.Int(42)) },
+                    toV2({ kind: 'Return', expr: Core.Ok(Core.Int(42)) }),
                 ],
-            },
-            compensate: {
+            }),
+            compensate: toV2({
                 kind: 'Block',
                 statements: [
                     // compensate 调用 IO 函数
                     Core.Let('_cleanup', Core.Call(Core.Name('IO.cleanup'), [])),
-                    { kind: 'Return', expr: Core.Ok(Core.Null()) },
+                    toV2({ kind: 'Return', expr: Core.Ok(Core.Null()) }),
                 ],
-            },
-        };
-        const workflow = {
+            }),
+        });
+        const workflow = toV2({
             kind: 'workflow',
             steps: [step],
             effectCaps: [],
-        };
-        const func = {
+        });
+        const func = toV2({
             kind: 'Func',
             name: 'workflowMissingIODeclaration',
             typeParams: [],
@@ -196,47 +197,47 @@ describe('回归测试：补偿效应推断', () => {
             effects: [], // 故意不声明 IO 效应
             effectCaps: [],
             effectCapsExplicit: false,
-            ret: {
+            ret: toV2({
                 kind: 'TypeApp',
                 base: 'Workflow',
                 args: [resultType(typeName('Int'), typeName('Text')), typeName('Unit')],
-            },
-            body: {
+            }),
+            body: toV2({
                 kind: 'Block',
                 statements: [workflow],
-            },
-        };
-        const mod = {
+            }),
+        });
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.compensate_effect_positive',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         // 正向断言：应有 EFF_MISSING_IO 错误，证明 compensate 的 IO 效应被正确检测
         assert.ok(diagnostics.some(d => d.code === "E200" /* ErrorCode.EFF_MISSING_IO */), 'compensate 块的 IO 效应应被检测，触发 EFF_MISSING_IO 错误（正向证明效应合并生效）');
     });
     it('缺少 compensate 的步骤在有副作用时应发出警告', () => {
-        const step = {
+        const step = toV2({
             kind: 'step',
             name: 'dangerousStep',
             dependencies: [],
             effectCaps: [],
-            body: {
+            body: toV2({
                 kind: 'Block',
                 statements: [
                     // 调用 IO 函数（使用标准 IO 前缀格式）
                     Core.Let('result', Core.Call(Core.Name('IO.write'), [Core.String('data')])),
-                    { kind: 'Return', expr: Core.Ok(Core.Int(1)) },
+                    toV2({ kind: 'Return', expr: Core.Ok(Core.Int(1)) }),
                 ],
-            },
+            }),
             // 无 compensate 块
-        };
-        const workflow = {
+        });
+        const workflow = toV2({
             kind: 'workflow',
             steps: [step],
             effectCaps: [],
-        };
-        const func = {
+        });
+        const func = toV2({
             kind: 'Func',
             name: 'workflowWithoutCompensate',
             typeParams: [],
@@ -244,21 +245,21 @@ describe('回归测试：补偿效应推断', () => {
             effects: [Effect.IO],
             effectCaps: [],
             effectCapsExplicit: false,
-            ret: {
+            ret: toV2({
                 kind: 'TypeApp',
                 base: 'Workflow',
                 args: [resultType(typeName('Int'), typeName('Text')), typeName('IO')],
-            },
-            body: {
+            }),
+            body: toV2({
                 kind: 'Block',
                 statements: [workflow],
-            },
-        };
-        const mod = {
+            }),
+        });
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.missing_compensate',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         // 应有 WORKFLOW_COMPENSATE_MISSING 警告
         assert.ok(diagnostics.some(d => d.code === "E023" /* ErrorCode.WORKFLOW_COMPENSATE_MISSING */), '有 IO 副作用但无 compensate 的步骤应触发警告');
@@ -267,16 +268,14 @@ describe('回归测试：补偿效应推断', () => {
 describe('回归测试：效应参数诊断', () => {
     it('未声明的效应变量应触发 EFFECT_VAR_UNDECLARED', () => {
         // 创建一个使用了未声明效应变量的函数
-        // 通过 declaredEffects 在函数上直接使用一个未声明的效应变量
-        const effectVar = { kind: 'EffectVar', name: 'E' };
-        const func = {
+        // v2 的 effects 中出现一个未在 effectParams 中声明的效应变量（ADR 0055 #5；IR 不变式 undeclared-effect-var）
+        const func = toV2({
             kind: 'Func',
             name: 'funcWithUndeclaredEffect',
             typeParams: [],
             effectParams: [], // 空的效应参数列表
             params: [],
             effects: [],
-            declaredEffects: [effectVar], // 使用了效应变量 E，但未在 effectParams 中声明
             effectCaps: [],
             effectCapsExplicit: false,
             ret: typeName('Unit'),
@@ -286,26 +285,25 @@ describe('回归测试：效应参数诊断', () => {
                     { kind: 'Return', expr: Core.Null() },
                 ],
             },
-        };
-        const mod = {
+        });
+        func.effects = ['E'];
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.undeclared_effect_var',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         assert.ok(diagnostics.some(d => d.code === "E210" /* ErrorCode.EFFECT_VAR_UNDECLARED */), '使用未声明的效应变量应触发 EFFECT_VAR_UNDECLARED');
     });
     it('已声明的效应变量不应报错', () => {
         // 创建一个正确声明了效应变量的函数
-        const effectVar = { kind: 'EffectVar', name: 'E' };
-        const func = {
+        const func = toV2({
             kind: 'Func',
             name: 'funcWithDeclaredEffect',
             typeParams: [],
             effectParams: ['E'], // 声明效应参数 E
             params: [],
-            effects: [],
-            declaredEffects: [effectVar], // 函数自身使用 E
+            effects: ['E'], // 函数自身使用 E
             effectCaps: [],
             effectCapsExplicit: false,
             ret: typeName('Unit'),
@@ -315,17 +313,17 @@ describe('回归测试：效应参数诊断', () => {
                     { kind: 'Return', expr: Core.Null() },
                 ],
             },
-        };
-        const mod = {
+        });
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.declared_effect_var',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         assert.ok(!diagnostics.some(d => d.code === "E210" /* ErrorCode.EFFECT_VAR_UNDECLARED */), '已声明的效应变量不应触发 EFFECT_VAR_UNDECLARED');
     });
     it('声明但未使用的效应变量应触发警告', () => {
-        const func = {
+        const func = toV2({
             kind: 'Func',
             name: 'funcWithUnusedEffect',
             typeParams: [],
@@ -343,112 +341,112 @@ describe('回归测试：效应参数诊断', () => {
                     { kind: 'Return', expr: Core.Name('x') },
                 ],
             },
-        };
-        const mod = {
+        });
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.unused_effect_var',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         assert.ok(diagnostics.some(d => d.code === "E005" /* ErrorCode.TYPE_PARAM_UNUSED */), '声明但未使用的效应变量应触发 TYPE_PARAM_UNUSED 警告');
     });
 });
 describe('回归测试：KNOWN_SCALARS 扩展', () => {
     it('使用 Long/Double/Unit 类型不应触发 TYPEVAR_LIKE_UNDECLARED', () => {
-        const func = {
+        const func = toV2({
             kind: 'Func',
             name: 'useBuiltinTypes',
             typeParams: [],
             params: [
-                { name: 'a', type: typeName('Long') },
-                { name: 'b', type: typeName('Double') },
+                toV2({ name: 'a', type: typeName('Long') }),
+                toV2({ name: 'b', type: typeName('Double') }),
             ],
             effects: [],
             effectCaps: [],
             effectCapsExplicit: false,
             ret: typeName('Unit'),
-            body: {
+            body: toV2({
                 kind: 'Block',
                 statements: [
-                    { kind: 'Return', expr: Core.Null() },
+                    toV2({ kind: 'Return', expr: Core.Null() }),
                 ],
-            },
-        };
-        const mod = {
+            }),
+        });
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.known_scalars',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         assert.ok(!diagnostics.some(d => d.code === "E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */), 'Long/Double/Unit 是内置类型，不应被误认为未声明的类型变量');
     });
     it('使用 Result/Option/List/Map/Set/Workflow 类型不应触发 TYPEVAR_LIKE_UNDECLARED', () => {
         // 构造 Map<Text, Int> 类型
-        const mapType = { kind: 'TypeApp', base: 'Map', args: [typeName('Text'), typeName('Int')] };
+        const mapType = toV2({ kind: 'TypeApp', base: 'Map', args: [typeName('Text'), typeName('Int')] });
         // 构造 Set<Int> 类型
-        const setType = { kind: 'TypeApp', base: 'Set', args: [typeName('Int')] };
+        const setType = toV2({ kind: 'TypeApp', base: 'Set', args: [typeName('Int')] });
         // 构造 Workflow<Result<Int, Text>, Unit> 类型（第二个参数是效应标记，使用 Unit 避免效应类型检查）
-        const workflowType = {
+        const workflowType = toV2({
             kind: 'TypeApp',
             base: 'Workflow',
             args: [resultType(typeName('Int'), typeName('Text')), typeName('Unit')],
-        };
-        const func = {
+        });
+        const func = toV2({
             kind: 'Func',
             name: 'useContainerTypes',
             typeParams: [],
             params: [
-                { name: 'r', type: resultType(typeName('Int'), typeName('Text')) },
-                { name: 'o', type: Core.Option(typeName('Int')) },
-                { name: 'l', type: Core.List(typeName('Int')) },
-                { name: 'm', type: mapType },
-                { name: 's', type: setType },
-                { name: 'w', type: workflowType },
+                toV2({ name: 'r', type: resultType(typeName('Int'), typeName('Text')) }),
+                toV2({ name: 'o', type: Core.Option(typeName('Int')) }),
+                toV2({ name: 'l', type: Core.List(typeName('Int')) }),
+                toV2({ name: 'm', type: mapType }),
+                toV2({ name: 's', type: setType }),
+                toV2({ name: 'w', type: workflowType }),
             ],
             effects: [],
             effectCaps: [],
             effectCapsExplicit: false,
             ret: typeName('Unit'),
-            body: {
+            body: toV2({
                 kind: 'Block',
                 statements: [
-                    { kind: 'Return', expr: Core.Null() },
+                    toV2({ kind: 'Return', expr: Core.Null() }),
                 ],
-            },
-        };
-        const mod = {
+            }),
+        });
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.container_types',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         assert.ok(!diagnostics.some(d => d.code === "E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */), 'Result/Option/List/Map/Set/Workflow 容器类型不应被误认为未声明的类型变量');
     });
     it('Core 中的未知类型名不触发 TYPEVAR_LIKE_UNDECLARED（可能是类型别名，未声明的类型由 E800 报告，#281）', () => {
         // 使用一个未在 KNOWN_SCALARS 中且未定义的类型名
-        const func = {
+        const func = toV2({
             kind: 'Func',
             name: 'useUnknownType',
             typeParams: [],
             params: [
-                { name: 'x', type: typeName('UnknownCustomType') },
+                toV2({ name: 'x', type: typeName('UnknownCustomType') }),
             ],
             effects: [],
             effectCaps: [],
             effectCapsExplicit: false,
             ret: typeName('Unit'),
-            body: {
+            body: toV2({
                 kind: 'Block',
                 statements: [
-                    { kind: 'Return', expr: Core.Null() },
+                    toV2({ kind: 'Return', expr: Core.Null() }),
                 ],
-            },
-        };
-        const mod = {
+            }),
+        });
+        const mod = toV2({
             kind: 'Module',
             name: 'test.regression.unknown_type',
             decls: [func],
-        };
+        });
         const diagnostics = typecheckModule(mod);
         assert.ok(!diagnostics.some(d => d.code === "E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */), '未知类型名 UnknownCustomType 不应触发 TYPEVAR_LIKE_UNDECLARED（Java 亦不报）');
     });

package/dist/test/unit/typecheck/regression-fixes.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"regression-fixes.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/regression-fixes.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAG5D,OAAO,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAmD,MAAM,mCAAmC,CAAC;AAElH,YAAY;AACZ,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAsB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC3E,MAAM,UAAU,GAAG,CAAC,EAAkB,EAAE,GAAmB,EAAoB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAEvG,eAAe;AACf,MAAM,UAAU,GAAG,GAAS,EAAE,CAAC,CAAC;IAC9B,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;CAC1B,CAAC,CAAC;AAEH,2BAA2B;AAC3B,SAAS,mBAAmB;IAC1B,OAAO;QACL,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,iBAAiB,EAAE,EAAE;KACtB,CAAC;AACJ,CAAC;AAED,iCAAiC;AACjC,SAAS,mBAAmB;IAC1B,OAAO;QACL,MAAM,EAAE,mBAAmB,EAAE;QAC7B,OAAO,EAAE,IAAI,WAAW,EAAE;QAC1B,WAAW,EAAE,IAAI,iBAAiB,EAAE;KACrC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;QAE1B,WAAW;QACX,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QAE1E,iBAAiB;QACjB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE9D,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,2CAA8B,wBAAwB,CAAC,CAAC;QAC/F,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;QAE1B,OAAO;QACP,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE7D,SAAS;QACT,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAEvC,mBAAmB;QACnB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE9D,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAEpD,iBAAiB;QACjB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAC5D,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC5B,MAAM,CAAC,WAAW,CAAE,KAAK,CAAC,IAA2B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,mBAAmB;QACnB,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS;YACf,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;gBACpC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ;aAChD;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC;YACpB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;iBACtC;aACF;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,4CAA+B,CAAC,EAC5D,8BAA8B,CAC/B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,2DAA2D;QAC3D,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,WAAW;oBACX,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;iBAChD;aACF;YACD,UAAU,EAAE;gBACV,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,oCAAoC;oBACpC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5D,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;iBAC/C;aACF;SACF,CAAC;QAEF,MAAM,QAAQ,GAAuB;YACnC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,EAAE;SACf,CAAC;QAEF,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW;YACjC,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE;gBACH,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;aACtE;YACD,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,CAAC,QAAQ,CAAC;aACvB;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,mCAAmC;YACzC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAEzC,qDAAqD;QACrD,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,8CAAiC,CAAC,CAAC;QACrF,MAAM,CAAC,WAAW,CAChB,aAAa,EACb,SAAS,EACT,0CAA0C,CAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,wCAAwC;QACxC,iCAAiC;QACjC,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,sBAAsB;YAC5B,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,WAAW;oBACX,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;iBAChD;aACF;YACD,UAAU,EAAE;gBACV,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,sBAAsB;oBACtB,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5D,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;iBAC/C;aACF;SACF,CAAC;QAEF,MAAM,QAAQ,GAAuB;YACnC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,EAAE;SACf,CAAC;QAEF,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,8BAA8B;YACpC,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE,EAAE,cAAc;YAC3B,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE;gBACH,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;aACxE;YACD,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,CAAC,QAAQ,CAAC;aACvB;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,4CAA4C;YAClD,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAEzC,uDAAuD;QACvD,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAC1D,0DAA0D,CAC3D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,eAAe;YACrB,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,yBAAyB;oBACzB,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC3E,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;iBAC/C;aACF;YACD,iBAAiB;SAClB,CAAC;QAEF,MAAM,QAAQ,GAAuB;YACnC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,EAAE;SACf,CAAC;QAEF,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,2BAA2B;YACjC,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YACpB,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE;gBACH,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;aACtE;YACD,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,CAAC,QAAQ,CAAC;aACvB;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,oCAAoC;YAC1C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAEzC,oCAAoC;QACpC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,uDAA0C,CAAC,EACvE,gCAAgC,CACjC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,oBAAoB;QACpB,wCAAwC;QACxC,MAAM,SAAS,GAAwB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACxE,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,0BAA0B;YAChC,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,EAAE,EAAE,WAAW;YAC7B,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,eAAe,EAAE,CAAC,SAAS,CAAC,EAAE,iCAAiC;YAC/D,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACgB,CAAC;QAEpB,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,uCAAuC;YAC7C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,EACjE,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACtB,mBAAmB;QACnB,MAAM,SAAS,GAAwB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACxE,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW;YAChC,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,eAAe,EAAE,CAAC,SAAS,CAAC,EAAE,WAAW;YACzC,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACgB,CAAC;QAEpB,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,qCAAqC;YAC3C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,EAClE,oCAAoC,CACrC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,gBAAgB;YACrC,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;aACrC;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC;YACpB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;iBACzC;aACF;SACgB,CAAC;QAEpB,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,mCAAmC;YACzC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,6CAAgC,CAAC,EAC7D,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE;gBACrC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE;aACxC;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,+BAA+B;YACrC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACpE,uCAAuC,CACxC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,uBAAuB;QACvB,MAAM,OAAO,GAAsB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/G,iBAAiB;QACjB,MAAM,OAAO,GAAsB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC7F,uEAAuE;QACvE,MAAM,YAAY,GAAsB;YACtC,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;SACxE,CAAC;QAEF,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE;gBAClE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE;gBACjD,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE;gBAC/C,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE;gBAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE;gBAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE;aAClC;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACpE,wDAAwD,CACzD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,iCAAiC;QACjC,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,mBAAmB,CAAC,EAAE;aACnD;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,8BAA8B;YACpC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACpE,gEAAgE,CACjE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"regression-fixes.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/regression-fixes.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAG5D,OAAO,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAmD,MAAM,mCAAmC,CAAC;AAClH,OAAO,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAEnD,YAAY;AACZ,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAsB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC3E,MAAM,UAAU,GAAG,CAAC,EAAkB,EAAE,GAAmB,EAAoB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAEvG,eAAe;AACf,MAAM,UAAU,GAAG,GAAS,EAAE,CAAC,CAAC;IAC9B,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;CAC1B,CAAC,CAAC;AAEH,2BAA2B;AAC3B,SAAS,mBAAmB;IAC1B,OAAO;QACL,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,iBAAiB,EAAE,EAAE;KACtB,CAAC;AACJ,CAAC;AAED,iCAAiC;AACjC,SAAS,mBAAmB;IAC1B,OAAO;QACL,MAAM,EAAE,mBAAmB,EAAE;QAC7B,OAAO,EAAE,IAAI,WAAW,EAAE;QAC1B,WAAW,EAAE,IAAI,iBAAiB,EAAE;KACrC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;QAE1B,WAAW;QACX,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QAE1E,iBAAiB;QACjB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE9D,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,2CAA8B,wBAAwB,CAAC,CAAC;QAC/F,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;QAE1B,OAAO;QACP,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE7D,SAAS;QACT,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAEvC,mBAAmB;QACnB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE9D,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAEpD,iBAAiB;QACjB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAC5D,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC5B,MAAM,CAAC,WAAW,CAAE,KAAK,CAAC,IAA2B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,mBAAmB;QACnB,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS;YACf,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,QAAQ;aACtD;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC;YACpB,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC5C;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,4CAA+B,CAAC,EAC5D,8BAA8B,CAC/B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,2DAA2D;QAC3D,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,WAAW;oBACX,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;iBACtD;aACF,CAAC;YACF,UAAU,EAAE,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,oCAAoC;oBACpC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5D,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;iBACrD;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAuB,IAAI,CAAC;YACxC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,EAAE;SACf,CAAC,CAAC;QAEH,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW;YACjC,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,IAAI,CAAC;gBACR,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;aACtE,CAAC;YACF,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,CAAC,QAAQ,CAAC;aACvB,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,mCAAmC;YACzC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAEzC,qDAAqD;QACrD,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,8CAAiC,CAAC,CAAC;QACrF,MAAM,CAAC,WAAW,CAChB,aAAa,EACb,SAAS,EACT,0CAA0C,CAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,wCAAwC;QACxC,iCAAiC;QACjC,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,sBAAsB;YAC5B,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,WAAW;oBACX,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;iBACtD;aACF,CAAC;YACF,UAAU,EAAE,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,sBAAsB;oBACtB,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5D,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;iBACrD;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAuB,IAAI,CAAC;YACxC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,EAAE;SACf,CAAC,CAAC;QAEH,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,8BAA8B;YACpC,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE,EAAE,cAAc;YAC3B,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,IAAI,CAAC;gBACR,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;aACxE,CAAC;YACF,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,CAAC,QAAQ,CAAC;aACvB,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,4CAA4C;YAClD,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAEzC,uDAAuD;QACvD,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAC1D,0DAA0D,CAC3D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,eAAe;YACrB,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,yBAAyB;oBACzB,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC3E,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;iBACrD;aACF,CAAC;YACF,iBAAiB;SAClB,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAuB,IAAI,CAAC;YACxC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,EAAE;SACf,CAAC,CAAC;QAEH,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,2BAA2B;YACjC,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YACpB,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,IAAI,CAAC;gBACR,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;aACtE,CAAC;YACF,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,CAAC,QAAQ,CAAC;aACvB,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,oCAAoC;YAC1C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAEzC,oCAAoC;QACpC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,uDAA0C,CAAC,EACvE,gCAAgC,CACjC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,oBAAoB;QACpB,uFAAuF;QACvF,MAAM,IAAI,GAAG,IAAI,CAAC;YAChB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,0BAA0B;YAChC,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,EAAE,EAAE,WAAW;YAC7B,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACF,CAAmB,CAAC;QACpB,IAAuC,CAAC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;QAEzD,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,uCAAuC;YAC7C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,EACjE,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACtB,mBAAmB;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC;YAChB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW;YAChC,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW;YAC3B,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACF,CAAmB,CAAC;QAErB,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,qCAAqC;YAC3C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,EAClE,oCAAoC,CACrC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC;YAChB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,gBAAgB;YACrC,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;aACrC;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC;YACpB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;iBACzC;aACF;SACF,CAAmB,CAAC;QAErB,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,mCAAmC;YACzC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,6CAAgC,CAAC,EAC7D,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;aAC9C;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;iBAC5C;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,+BAA+B;YACrC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACpE,uCAAuC,CACxC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,uBAAuB;QACvB,MAAM,OAAO,GAAsB,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACrH,iBAAiB;QACjB,MAAM,OAAO,GAAsB,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACnG,uEAAuE;QACvE,MAAM,YAAY,GAAsB,IAAI,CAAC;YAC3C,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;SACxE,CAAC,CAAC;QAEH,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBACxE,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBACvD,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gBAClC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gBAClC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;aACxC;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;iBAC5C;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACpE,wDAAwD,CACzD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,iCAAiC;QACjC,MAAM,IAAI,GAAmB,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;aACzD;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;iBAC5C;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,8BAA8B;YACpC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACpE,gEAAgE,CACjE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}