@aster-cloud/aster-lang-ts 0.0.1

package/dist/test/regression/type-checker-golden.test.js

@@ -0,0 +1,172 @@
+/**
+ * 类型检查 golden 基线回归测试
+ *
+ * 读取 test/type-checker/golden 下的 .aster 文件，执行完整类型检查流程，
+ * 并将诊断结果与 expected/*.errors.json 基线比对，确保回归场景稳定。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import fs from 'node:fs';
+import path from 'node:path';
+import { canonicalize } from '../../src/frontend/canonicalizer.js';
+import { lex } from '../../src/frontend/lexer.js';
+import { parse } from '../../src/parser.js';
+import { lowerModule } from '../../src/lower_to_core.js';
+import { typecheckModule } from '../../src/typecheck.js';
+import { ModuleCache } from '../../src/lsp/module_cache.js';
+const PROJECT_ROOT = process.cwd();
+const TYPE_CHECKER_DIR = path.resolve(PROJECT_ROOT, 'test/type-checker');
+const CROSS_MODULE_DIR = path.join(TYPE_CHECKER_DIR, 'cross-module');
+const TEST_CASES = [
+    // TODO(Parser): 暂不支持命名参数语法 Entry(id: "123")，待解析器增强后恢复
+    // Issue: 解析错误 "Expected ')'"
+    // 'type_mismatch_assign',
+    'capability_missing_decl',
+    'effect_missing_io',
+    'module_a',
+    'module_b',
+    'with_external_package',
+    // TODO(TypeChecker): CPU 效应检测未接入 typecheckModule，待类型检查器增强后恢复
+    // Issue: 未生成预期的 E201 诊断
+    // 'effect_missing_cpu',
+    'async_missing_wait',
+    'pii_http_violation',
+    'return_type_mismatch',
+    // TODO(Parser): 暂不支持混合列表字面量 [1, "two"]，待解析器增强后恢复
+    // Issue: 解析错误 "Unexpected expression"
+    // 'list_literal_mismatch',
+    'generics',
+    'basic_types',
+    'workflow-linear',
+    'workflow-missing-compensate',
+    'workflow-type-mismatch',
+    'workflow-missing-io',
+    'workflow-undeclared-capability',
+    'workflow-compensate-new-cap',
+    'workflow_retry_many_attempts',
+    'workflow_retry_timeout_conflict',
+    'workflow_timeout_too_short',
+    'workflow_timeout_too_long',
+    'payment_capability_success',
+    'payment_capability_missing_io',
+    'inventory_capability_success',
+    'inventory_capability_missing_io'
+];
+const GOLDEN_DIR = path.join(TYPE_CHECKER_DIR, 'golden');
+const EXPECTED_DIR = path.join(TYPE_CHECKER_DIR, 'expected');
+const EXTERNAL_PACKAGE_DIR = path.join(CROSS_MODULE_DIR, '.aster', 'packages');
+const MODULE_SEARCH_PATHS = [GOLDEN_DIR, CROSS_MODULE_DIR, EXTERNAL_PACKAGE_DIR];
+const sharedModuleCache = new ModuleCache();
+sharedModuleCache.setModuleSearchPaths(MODULE_SEARCH_PATHS);
+const MODULE_NAME_BY_CASE = new Map();
+const CASE_BY_MODULE_NAME = new Map();
+function compileDiagnostics(caseName) {
+    const diagnostics = runTypecheckWithDependencies(caseName, new Set());
+    return diagnostics.map(({ code, severity, message }) => ({ code, severity, message }));
+}
+function loadExpectedDiagnostics(caseName) {
+    const expectedPath = path.join(EXPECTED_DIR, `${caseName}.errors.json`);
+    const raw = JSON.parse(fs.readFileSync(expectedPath, 'utf8'));
+    return (raw.diagnostics ?? []).map(({ code, severity, message }) => {
+        const view = {
+            message: message ?? ''
+        };
+        if (code !== undefined) {
+            view.code = code;
+        }
+        if (severity !== undefined) {
+            view.severity = severity;
+        }
+        return view;
+    });
+}
+function runTypecheckWithDependencies(caseName, visiting) {
+    if (visiting.has(caseName)) {
+        const chain = [...visiting, caseName].join(' -> ');
+        throw new Error(`检测到模块循环依赖: ${chain}`);
+    }
+    const core = loadCoreModule(caseName);
+    ensureModuleMetadata(caseName, core);
+    visiting.add(caseName);
+    try {
+        const dependencies = extractImportModuleNames(core);
+        for (const moduleName of dependencies) {
+            const dependencyCase = resolveCaseByModuleName(moduleName);
+            if (dependencyCase && dependencyCase !== caseName) {
+                runTypecheckWithDependencies(dependencyCase, visiting);
+            }
+        }
+        return typecheckModule(core, {
+            moduleCache: sharedModuleCache,
+            moduleSearchPaths: MODULE_SEARCH_PATHS,
+        });
+    }
+    finally {
+        visiting.delete(caseName);
+    }
+}
+function loadCoreModule(caseName) {
+    const sourcePath = path.join(GOLDEN_DIR, `${caseName}.aster`);
+    const source = fs.readFileSync(sourcePath, 'utf8');
+    const canonical = canonicalize(source);
+    const tokens = lex(canonical);
+    const ast = parse(tokens);
+    return lowerModule(ast);
+}
+function extractImportModuleNames(module) {
+    const names = new Set();
+    for (const decl of module.decls) {
+        if (decl.kind === 'Import') {
+            const moduleName = (decl.name ?? '').trim();
+            if (moduleName.length > 0)
+                names.add(moduleName);
+        }
+    }
+    return Array.from(names);
+}
+function resolveCaseByModuleName(moduleName) {
+    if (!moduleName)
+        return undefined;
+    const cached = CASE_BY_MODULE_NAME.get(moduleName);
+    if (cached)
+        return cached;
+    for (const caseName of TEST_CASES) {
+        if (!MODULE_NAME_BY_CASE.has(caseName)) {
+            ensureModuleMetadata(caseName);
+        }
+        const resolved = CASE_BY_MODULE_NAME.get(moduleName);
+        if (resolved)
+            return resolved;
+    }
+    return undefined;
+}
+function ensureModuleMetadata(caseName, module) {
+    if (MODULE_NAME_BY_CASE.has(caseName))
+        return;
+    const resolved = (module ?? loadCoreModule(caseName)).name ?? '';
+    const normalized = resolved.trim();
+    MODULE_NAME_BY_CASE.set(caseName, normalized);
+    if (normalized) {
+        CASE_BY_MODULE_NAME.set(normalized, caseName);
+    }
+}
+describe('类型检查 golden 回归测试', () => {
+    for (const caseName of TEST_CASES) {
+        it(`用例 ${caseName} 的诊断应与基线一致`, () => {
+            const actualDiagnostics = compileDiagnostics(caseName);
+            const expectedDiagnostics = loadExpectedDiagnostics(caseName);
+            try {
+                assert.deepStrictEqual(actualDiagnostics, expectedDiagnostics);
+            }
+            catch (error) {
+                console.error(`\n用例 ${caseName} 诊断 diff:`);
+                console.error('实际诊断:');
+                console.error(JSON.stringify(actualDiagnostics, null, 2));
+                console.error('期望诊断:');
+                console.error(JSON.stringify(expectedDiagnostics, null, 2));
+                throw error;
+            }
+        });
+    }
+});
+//# sourceMappingURL=type-checker-golden.test.js.map

package/dist/test/regression/type-checker-golden.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-checker-golden.test.js","sourceRoot":"","sources":["../../../test/regression/type-checker-golden.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAU5D,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AACnC,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,mBAAmB,CAAC,CAAC;AACzE,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;AAErE,MAAM,UAAU,GAAG;IACjB,sDAAsD;IACtD,6BAA6B;IAC7B,0BAA0B;IAC1B,yBAAyB;IACzB,mBAAmB;IACnB,UAAU;IACV,UAAU;IACV,uBAAuB;IACvB,6DAA6D;IAC7D,wBAAwB;IACxB,wBAAwB;IACxB,oBAAoB;IACpB,oBAAoB;IACpB,sBAAsB;IACtB,iDAAiD;IACjD,sCAAsC;IACtC,2BAA2B;IAC3B,UAAU;IACV,aAAa;IACb,iBAAiB;IACjB,6BAA6B;IAC7B,wBAAwB;IACxB,qBAAqB;IACrB,gCAAgC;IAChC,6BAA6B;IAC7B,8BAA8B;IAC9B,iCAAiC;IACjC,4BAA4B;IAC5B,2BAA2B;IAC3B,4BAA4B;IAC5B,+BAA+B;IAC/B,8BAA8B;IAC9B,iCAAiC;CACzB,CAAC;AAIX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;AACzD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;AAC7D,MAAM,oBAAoB,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC/E,MAAM,mBAAmB,GAAG,CAAC,UAAU,EAAE,gBAAgB,EAAE,oBAAoB,CAAU,CAAC;AAE1F,MAAM,iBAAiB,GAAG,IAAI,WAAW,EAAE,CAAC;AAC5C,iBAAiB,CAAC,oBAAoB,CAAC,mBAAmB,CAAC,CAAC;AAE5D,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAoB,CAAC;AACxD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAoB,CAAC;AAExD,SAAS,kBAAkB,CAAC,QAAkB;IAC5C,MAAM,WAAW,GAAG,4BAA4B,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAY,CAAC,CAAC;IAChF,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAkB;IACjD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,QAAQ,cAAc,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAE3D,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE;QACjE,MAAM,IAAI,GAAmB;YAC3B,OAAO,EAAE,OAAO,IAAI,EAAE;SACvB,CAAC;QACF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,GAAG,IAAmC,CAAC;QAClD,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,GAAG,QAA2C,CAAC;QAC9D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4BAA4B,CAAC,QAAkB,EAAE,QAAuB;IAC/E,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACtC,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACrC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvB,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACpD,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;YACtC,MAAM,cAAc,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;YAC3D,IAAI,cAAc,IAAI,cAAc,KAAK,QAAQ,EAAE,CAAC;gBAClD,4BAA4B,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;QACD,OAAO,eAAe,CAAC,IAAI,EAAE;YAC3B,WAAW,EAAE,iBAAiB;YAC9B,iBAAiB,EAAE,mBAAmB;SACvC,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,QAAkB;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,QAAQ,QAAQ,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAc,CAAC;IACvC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAmB;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,uBAAuB,CAAC,UAAkB;IACjD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACnD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAkB,EAAE,MAAoB;IACpE,IAAI,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO;IAC9C,MAAM,QAAQ,GAAG,CAAC,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IACnC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9C,IAAI,UAAU,EAAE,CAAC;QACf,mBAAmB,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,EAAE,CAAC,MAAM,QAAQ,YAAY,EAAE,GAAG,EAAE;YAClC,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;YACvD,MAAM,mBAAmB,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;YAC9D,IAAI,CAAC;gBACH,MAAM,CAAC,eAAe,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAC;YACjE,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,KAAK,CAAC,QAAQ,QAAQ,WAAW,CAAC,CAAC;gBAC3C,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACvB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC1D,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACvB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC5D,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/test/type-checker/cross-module-packages.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=cross-module-packages.test.d.ts.map

package/dist/test/type-checker/cross-module-packages.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-module-packages.test.d.ts","sourceRoot":"","sources":["../../../test/type-checker/cross-module-packages.test.ts"],"names":[],"mappings":""}

package/dist/test/type-checker/cross-module-packages.test.js

@@ -0,0 +1,51 @@
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { readFileSync } from 'node:fs';
+import path from 'node:path';
+import { canonicalize } from '../../src/frontend/canonicalizer.js';
+import { lex } from '../../src/frontend/lexer.js';
+import { parse } from '../../src/parser.js';
+import { lowerModule } from '../../src/lower_to_core.js';
+import { typecheckModule } from '../../src/typecheck.js';
+import { ModuleCache } from '../../src/lsp/module_cache.js';
+const FIXTURE_ROOT = path.resolve(process.cwd(), 'test/type-checker/cross-module');
+const PACKAGE_ROOT = path.join(FIXTURE_ROOT, '.aster', 'packages');
+const MODULE_SEARCH_PATHS = [FIXTURE_ROOT, PACKAGE_ROOT];
+function loadCoreModule(relativePath) {
+    const absolutePath = path.join(FIXTURE_ROOT, relativePath);
+    const source = readFileSync(absolutePath, 'utf8');
+    const canonical = canonicalize(source);
+    const tokens = lex(canonical);
+    const ast = parse(tokens);
+    return lowerModule(ast);
+}
+function runTypecheck(fileName, cache) {
+    const module = loadCoreModule(fileName);
+    return typecheckModule(module, {
+        moduleCache: cache,
+        moduleSearchPaths: MODULE_SEARCH_PATHS,
+    });
+}
+describe('跨模块类型检查加载包签名', () => {
+    it('工作区模块导入不会破坏类型检查', () => {
+        const cache = new ModuleCache();
+        const moduleADiagnostics = runTypecheck('module_a.aster', cache);
+        assert.equal(moduleADiagnostics.length, 0, '工作区 module_a 应无诊断');
+        const moduleBDiagnostics = runTypecheck('module_b.aster', cache);
+        assert.equal(moduleBDiagnostics.length, 0, '工作区 module_b 应通过类型检查');
+    });
+    it('可以从 .aster/packages 加载外部模块签名', () => {
+        const cache = new ModuleCache();
+        const diagnostics = runTypecheck('module_b_external.aster', cache);
+        assert.equal(diagnostics.length, 0, '导入外部包应通过类型检查');
+    });
+    it('缺失的包会返回 MODULE_NOT_FOUND 诊断', () => {
+        const cache = new ModuleCache();
+        const diagnostics = runTypecheck('module_b_missing_pkg.aster', cache);
+        assert.ok(diagnostics.length > 0, '缺失包应产生诊断');
+        const missing = diagnostics[0];
+        assert.equal(missing.severity, 'error', '缺失包应报错');
+        assert.ok(missing.message.includes('MODULE_NOT_FOUND') && missing.message.includes('mock.pkg.analytics.missing'), '错误信息应包含 MODULE_NOT_FOUND 与模块名');
+    });
+});
+//# sourceMappingURL=cross-module-packages.test.js.map

package/dist/test/type-checker/cross-module-packages.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-module-packages.test.js","sourceRoot":"","sources":["../../../test/type-checker/cross-module-packages.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAE5D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,gCAAgC,CAAC,CAAC;AACnF,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AACnE,MAAM,mBAAmB,GAAG,CAAC,YAAY,EAAE,YAAY,CAAU,CAAC;AAElE,SAAS,cAAc,CAAC,YAAoB;IAC1C,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAc,CAAC;IACvC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB,EAAE,KAAkB;IACxD,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACxC,OAAO,eAAe,CAAC,MAAM,EAAE;QAC7B,WAAW,EAAE,KAAK;QAClB,iBAAiB,EAAE,mBAAmB;KACvC,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,kBAAkB,GAAG,YAAY,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;QAEhE,MAAM,kBAAkB,GAAG,YAAY,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,sBAAsB,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,WAAW,GAAG,YAAY,CAAC,yBAAyB,EAAE,KAAK,CAAC,CAAC;QACnE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,WAAW,GAAG,YAAY,CAAC,4BAA4B,EAAE,KAAK,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAE,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAClD,MAAM,CAAC,EAAE,CACP,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,EACtG,+BAA+B,CAChC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/type-checker/pii-propagation.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=pii-propagation.test.d.ts.map

package/dist/test/type-checker/pii-propagation.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pii-propagation.test.d.ts","sourceRoot":"","sources":["../../../test/type-checker/pii-propagation.test.ts"],"names":[],"mappings":""}