@scriptc/compiler 0.4.7 → 0.4.8

package/dist/frontend/early-errors.test.js

@@ -17,6 +17,20 @@ function diagnostics(source) {
         rmSync(directory, { recursive: true, force: true });
     }
 }
+/** The preflight diagnostics of an ES module (`.mjs`), the goal symbol the
+ * [Await] and top-level-`using` rules differ under. */
+function moduleDiagnostics(source) {
+    const directory = mkdtempSync(join(tmpdir(), "scriptc-early-errors-"));
+    writeFileSync(join(directory, "main.mjs"), source);
+    const load = loadProgram(join(directory, "main.mjs"));
+    try {
+        return checkPreflight(load).map((diagnostic) => diagnostic.code);
+    }
+    finally {
+        load.dispose();
+        rmSync(directory, { recursive: true, force: true });
+    }
+}
 test.for([
     // A function body's top-level function declarations are var-scoped, so
     // duplicates are legal in strict code too.
@@ -39,4 +53,155 @@ test.for([
 ])("Node refuses: %s", ([source, code]) => {
     expect(diagnostics(source)).toContain(code);
 });
+test.for([
+    // Legal destructuring assignment and for-in/of heads: a variable, a
+    // property access, or a pattern of them.
+    "var a, b;\n[a, b] = [1, 2];\nconsole.log(a, b);",
+    "var o = {};\n({ x: o.y = 1, ...o.rest } = { x: 2 });\nconsole.log(o.y);",
+    "var o = {};\n[o.a = 1, ...o.r] = [2];\nconsole.log(o.a);",
+    "var a;\nfor ([a] of [[1]]) a;\nfor ({ a } of [{ a: 2 }]) a;\nconsole.log(a);",
+    // A rest element and the target of a default hold a pattern as well.
+    "var a, b;\n[ ...[a] ] = [[1]];\n[ [b] = [2] ] = [];\nconsole.log(a, b);",
+    "var a;\n({ x: [a] = [3] } = {});\nconsole.log(a);",
+    // Parentheses are transparent around a target.
+    "var a;\n((a)) = 1;\nconsole.log(a);",
+    "var a;\n[ ...(a) ] = [1];\nconsole.log(a);",
+    // A private name is readable anywhere an enclosing class declares it.
+    "class C { #x = 1; m() { return this.#x; } static s() { return new C().#x; } }\nnew C().m();",
+    "class C { #x = 1; m() { class D { #x = 2; y = this.#x; } return new D().y; } }\nnew C().m();",
+    "class C { #x = 1; m(o) { return #x in o; } }\nnew C().m(new C());",
+])("Node accepts (early targets): %s", (source) => {
+    expect(diagnostics(source)).toEqual([]);
+});
+test.for([
+    ["import('a', {}, '');", "SC0008"],
+    ["import();", "SC0008"],
+    ["import('a', {}, {});", "SC0008"],
+    ["import('a') -= 1;", "SC0010"],
+    ["var f = function () {};\nf() += 1;", "SC0010"],
+    ["var a;\n++a.b();", "SC0010"],
+    // A pattern never sits inside parentheses, and an object's rest target
+    // takes a reference only.
+    ["var a;\n[ ([a]) ] = [[1]];", "SC0010"],
+    ["var a;\n({ ...[a] } = {});", "SC0010"],
+    ["var C = class { m() { this.#x; } };\nnew C().m();", "SC0009"],
+    ["class C { #x; }\nnew C().#y;", "SC0009"],
+    // `#x in obj` is readable wherever `#x` is in scope (the accepts list
+    // above), and `#x` in no class's scope is a SyntaxError.
+    ["class C { #x; }\nconsole.log(#x in {});", "SC0009"],
+])("Node refuses (early targets): %s", ([source, code]) => {
+    expect(diagnostics(source)).toContain(code);
+});
+/* `await` is a ReservedWord in the contexts whose grammar passes [Await]
+ * down: an async function's body and parameters, a class static block, a
+ * module's top level — and an arrow's PARAMETERS inherit that, while an
+ * arrow's BODY and a class field initializer reset it. Node is the oracle
+ * for every row below. */
+test.for([
+    // [Await] false: a plain function's parameter default, an arrow body, a
+    // field initializer, and the IdentifierName slots.
+    "function f(a = await) { return a; }\nconsole.log(f(2));",
+    "async function f() { (() => { var await = 1; return await; })(); }\nf();",
+    "async function f() { function g() { return 1; } return g(); }\nf();",
+    "class C { x = await2; }\nnew C();",
+    "class C { static { var o = { await: 1 }; console.log(o.await); } }\nnew C();",
+    "class C { await() { return 1; } }\nconsole.log(new C().await());",
+    // A member's computed name is evaluated where the member is defined, so an
+    // async method's own [Await] does not reach its name.
+    "function outer() { var await = 'm'; class C { async [await]() {} } return new C(); }\nconsole.log(outer());",
+    "function outer() { var await = 'k'; return { async [await]() { return 1; } }; }\nconsole.log(outer());",
+    // `let`/`const` at the top level of a script are ordinary declarations:
+    // the Using bit is what SC0013 reads, and Const carries its own bit.
+    "const a = 1;\nlet b = 2;\nconsole.log(a + b);",
+])("Node accepts (await as an identifier): %s", (source) => {
+    expect(diagnostics(source)).toEqual([]);
+});
+test.for([
+    // The checker already refuses these two with its own diagnostic; the
+    // early-error pass names the same site under the rule it belongs to.
+    ["async function f() { var await = 1; }\nf();", "SC0011"],
+    ["async function f(await) {}\nf();", "SC0011"],
+    // tsc accepts these two, and Node does not.
+    ["class C { static { ((x = await) => 0); } }\nnew C();", "SC0011"],
+    ["async () => { (a = await) => 0; };", "SC0011"],
+])("Node refuses (await as an identifier): %s", ([source, code]) => {
+    expect(diagnostics(source)).toContain(code);
+});
+test.for([
+    // A module's top level is an [Await] context, but a destructuring rename's
+    // property name is an IdentifierName there, not a binding.
+    "const { await: renamed } = { await: 1 };\nconsole.log(renamed);",
+    "function f({ await: renamed }) { return renamed; }\nconsole.log(f({ await: 2 }));",
+])("Node accepts (await as an IdentifierName in a module): %s", (source) => {
+    expect(moduleDiagnostics(source)).toEqual([]);
+});
+test.for([
+    // The binding side of the same pattern is a BindingIdentifier, and in a
+    // module that is the reserved word.
+    ["var await = 1;\nconsole.log(await);", "SC0011"],
+    ["const { await } = { await: 1 };\nconsole.log(await);", "SC0011"],
+])("Node refuses (await as a binding in a module): %s", ([source, code]) => {
+    expect(moduleDiagnostics(source)).toContain(code);
+});
+test.for([
+    // ContainsArguments stops at a function expression and never sees a
+    // method's own arguments or a computed element name.
+    "class C { x = function () { return arguments.length; }; }\nnew C().x();",
+    "class C { m() { return arguments.length; } }\nnew C().m();",
+    "class C { [arguments2] = 1; }\nnew C();",
+])("Node accepts (arguments outside a field initializer): %s", (source) => {
+    expect(diagnostics(source)).toEqual([]);
+});
+test.for([
+    ["class C { x = arguments; }\nnew C();", "SC0012"],
+    ["class C { static x = arguments; }\nnew C();", "SC0012"],
+    ["class C { x = (() => arguments); }\nnew C().x();", "SC0012"],
+    ["class C { static { arguments; } }\nnew C();", "SC0012"],
+])("Node refuses (arguments in a field initializer): %s", ([source, code]) => {
+    expect(diagnostics(source)).toContain(code);
+});
+test.for([
+    // A block, a function body, and a class static block all admit `using`.
+    "{ class R { [Symbol.dispose]() {} } using r = new R(); }",
+    "function f() { class R { [Symbol.dispose]() {} } using r = new R(); }\nf();",
+    "class C { static { class R { [Symbol.dispose]() {} } using r = new R(); } }\nnew C();",
+])("Node accepts (nested using): %s", (source) => {
+    expect(diagnostics(source)).toEqual([]);
+});
+test.for([
+    ["class R { [Symbol.dispose]() {} }\nusing r = new R();", "SC0013"],
+    ["class R { [Symbol.dispose]() {} }\nawait using r = new R();", "SC0013"],
+])("Node refuses (script-top-level using): %s", ([source, code]) => {
+    expect(diagnostics(source)).toContain(code);
+});
+test.for([
+    // Strict mode narrows the assignment target: `eval` and `arguments` stay
+    // ordinary names in sloppy code and as property names.
+    "var [eval2] = [1];\nconsole.log(eval2);",
+    "var o = {};\no.eval = 1;\nconsole.log(o.eval);",
+])("Node accepts (sloppy eval/arguments targets): %s", (source) => {
+    expect(diagnostics(source)).toEqual([]);
+});
+test.for([
+    ['"use strict";\narguments = 1;', "SC0014"],
+    ['"use strict";\n([eval] = [1]);', "SC0014"],
+    ['"use strict";\nfor (arguments of [1]) break;', "SC0014"],
+])("Node refuses (strict eval/arguments targets): %s", ([source, code]) => {
+    expect(diagnostics(source)).toContain(code);
+});
+test.for([
+    // A `var` in the catch block is Annex B's, and a nested block is a
+    // different Block.
+    "try {} catch (e) { var e; }\nconsole.log(typeof e);",
+    "try { throw 1; } catch (e) { { function e() {} } }",
+])("Node accepts (catch block declarations): %s", (source) => {
+    expect(diagnostics(source)).toEqual([]);
+});
+test.for([
+    ["try {} catch (e) { function e() {} }", "SC0015"],
+    ['"use strict";\ntry {} catch (e) { function e() {} }', "SC0015"],
+    ["try {} catch ([e]) { function e() {} }", "SC0015"],
+])("Node refuses (catch parameter redeclared): %s", ([source, code]) => {
+    expect(diagnostics(source)).toContain(code);
+});
 //# sourceMappingURL=early-errors.test.js.map

package/dist/frontend/early-errors.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"early-errors.test.js","sourceRoot":"","sources":["../../src/frontend/early-errors.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhE;oBACoB;AACpB,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACvE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,IAAI,CAAC,GAAG,CAAC;IACP,uEAAuE;IACvE,2CAA2C;IAC3C,8EAA8E;IAC9E,kEAAkE;IAClE,6EAA6E;IAC7E,wDAAwD;IACxD,8EAA8E;IAC9E,+EAA+E;IAC/E,0CAA0C;IAC1C,oDAAoD;CACrD,CAAC,CAAC,kBAAkB,EAAE,CAAC,MAAM,EAAE,EAAE;IAChC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,CAAC,uDAAuD,EAAE,QAAQ,CAAC;IACnE,CAAC,wDAAwD,EAAE,QAAQ,CAAC;IACpE,CAAC,6DAA6D,EAAE,QAAQ,CAAC;IACzE,CAAC,gFAAgF,EAAE,QAAQ,CAAC;CAC7F,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;IACxC,MAAM,CAAC,WAAW,CAAC,MAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC"}
+{"version":3,"file":"early-errors.test.js","sourceRoot":"","sources":["../../src/frontend/early-errors.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhE;oBACoB;AACpB,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACvE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED;uDACuD;AACvD,SAAS,iBAAiB,CAAC,MAAc;IACvC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACvE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,IAAI,CAAC,GAAG,CAAC;IACP,uEAAuE;IACvE,2CAA2C;IAC3C,8EAA8E;IAC9E,kEAAkE;IAClE,6EAA6E;IAC7E,wDAAwD;IACxD,8EAA8E;IAC9E,+EAA+E;IAC/E,0CAA0C;IAC1C,oDAAoD;CACrD,CAAC,CAAC,kBAAkB,EAAE,CAAC,MAAM,EAAE,EAAE;IAChC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,CAAC,uDAAuD,EAAE,QAAQ,CAAC;IACnE,CAAC,wDAAwD,EAAE,QAAQ,CAAC;IACpE,CAAC,6DAA6D,EAAE,QAAQ,CAAC;IACzE,CAAC,gFAAgF,EAAE,QAAQ,CAAC;CAC7F,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;IACxC,MAAM,CAAC,WAAW,CAAC,MAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,oEAAoE;IACpE,yCAAyC;IACzC,iDAAiD;IACjD,yEAAyE;IACzE,0DAA0D;IAC1D,8EAA8E;IAC9E,qEAAqE;IACrE,yEAAyE;IACzE,mDAAmD;IACnD,+CAA+C;IAC/C,qCAAqC;IACrC,4CAA4C;IAC5C,sEAAsE;IACtE,6FAA6F;IAC7F,8FAA8F;IAC9F,mEAAmE;CACpE,CAAC,CAAC,kCAAkC,EAAE,CAAC,MAAM,EAAE,EAAE;IAChD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,CAAC,sBAAsB,EAAE,QAAQ,CAAC;IAClC,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,sBAAsB,EAAE,QAAQ,CAAC;IAClC,CAAC,mBAAmB,EAAE,QAAQ,CAAC;IAC/B,CAAC,oCAAoC,EAAE,QAAQ,CAAC;IAChD,CAAC,kBAAkB,EAAE,QAAQ,CAAC;IAC9B,uEAAuE;IACvE,0BAA0B;IAC1B,CAAC,4BAA4B,EAAE,QAAQ,CAAC;IACxC,CAAC,4BAA4B,EAAE,QAAQ,CAAC;IACxC,CAAC,mDAAmD,EAAE,QAAQ,CAAC;IAC/D,CAAC,8BAA8B,EAAE,QAAQ,CAAC;IAC1C,sEAAsE;IACtE,yDAAyD;IACzD,CAAC,yCAAyC,EAAE,QAAQ,CAAC;CACtD,CAAC,CAAC,kCAAkC,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;IACxD,MAAM,CAAC,WAAW,CAAC,MAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH;;;;0BAI0B;AAC1B,IAAI,CAAC,GAAG,CAAC;IACP,wEAAwE;IACxE,mDAAmD;IACnD,yDAAyD;IACzD,0EAA0E;IAC1E,qEAAqE;IACrE,mCAAmC;IACnC,8EAA8E;IAC9E,kEAAkE;IAClE,2EAA2E;IAC3E,sDAAsD;IACtD,6GAA6G;IAC7G,wGAAwG;IACxG,wEAAwE;IACxE,qEAAqE;IACrE,+CAA+C;CAChD,CAAC,CAAC,2CAA2C,EAAE,CAAC,MAAM,EAAE,EAAE;IACzD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,qEAAqE;IACrE,qEAAqE;IACrE,CAAC,6CAA6C,EAAE,QAAQ,CAAC;IACzD,CAAC,kCAAkC,EAAE,QAAQ,CAAC;IAC9C,4CAA4C;IAC5C,CAAC,sDAAsD,EAAE,QAAQ,CAAC;IAClE,CAAC,oCAAoC,EAAE,QAAQ,CAAC;CACjD,CAAC,CAAC,2CAA2C,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;IACjE,MAAM,CAAC,WAAW,CAAC,MAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,2EAA2E;IAC3E,2DAA2D;IAC3D,iEAAiE;IACjE,mFAAmF;CACpF,CAAC,CAAC,2DAA2D,EAAE,CAAC,MAAM,EAAE,EAAE;IACzE,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,wEAAwE;IACxE,oCAAoC;IACpC,CAAC,qCAAqC,EAAE,QAAQ,CAAC;IACjD,CAAC,sDAAsD,EAAE,QAAQ,CAAC;CACnE,CAAC,CAAC,mDAAmD,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;IACzE,MAAM,CAAC,iBAAiB,CAAC,MAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,oEAAoE;IACpE,qDAAqD;IACrD,yEAAyE;IACzE,4DAA4D;IAC5D,yCAAyC;CAC1C,CAAC,CAAC,0DAA0D,EAAE,CAAC,MAAM,EAAE,EAAE;IACxE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,CAAC,sCAAsC,EAAE,QAAQ,CAAC;IAClD,CAAC,6CAA6C,EAAE,QAAQ,CAAC;IACzD,CAAC,kDAAkD,EAAE,QAAQ,CAAC;IAC9D,CAAC,6CAA6C,EAAE,QAAQ,CAAC;CAC1D,CAAC,CAAC,qDAAqD,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;IAC3E,MAAM,CAAC,WAAW,CAAC,MAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,wEAAwE;IACxE,0DAA0D;IAC1D,6EAA6E;IAC7E,uFAAuF;CACxF,CAAC,CAAC,iCAAiC,EAAE,CAAC,MAAM,EAAE,EAAE;IAC/C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,CAAC,uDAAuD,EAAE,QAAQ,CAAC;IACnE,CAAC,6DAA6D,EAAE,QAAQ,CAAC;CAC1E,CAAC,CAAC,2CAA2C,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;IACjE,MAAM,CAAC,WAAW,CAAC,MAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,yEAAyE;IACzE,uDAAuD;IACvD,yCAAyC;IACzC,gDAAgD;CACjD,CAAC,CAAC,kDAAkD,EAAE,CAAC,MAAM,EAAE,EAAE;IAChE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,CAAC,+BAA+B,EAAE,QAAQ,CAAC;IAC3C,CAAC,gCAAgC,EAAE,QAAQ,CAAC;IAC5C,CAAC,8CAA8C,EAAE,QAAQ,CAAC;CAC3D,CAAC,CAAC,kDAAkD,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;IACxE,MAAM,CAAC,WAAW,CAAC,MAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,mEAAmE;IACnE,mBAAmB;IACnB,qDAAqD;IACrD,oDAAoD;CACrD,CAAC,CAAC,6CAA6C,EAAE,CAAC,MAAM,EAAE,EAAE;IAC3D,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,CAAC,sCAAsC,EAAE,QAAQ,CAAC;IAClD,CAAC,qDAAqD,EAAE,QAAQ,CAAC;IACjE,CAAC,wCAAwC,EAAE,QAAQ,CAAC;CACrD,CAAC,CAAC,+CAA+C,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;IACrE,MAAM,CAAC,WAAW,CAAC,MAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC"}

package/dist/frontend/inferred-js-diagnostics.test.js

@@ -74,4 +74,69 @@ export function* generator() {
         "'yield' expression implicitly results in an 'any' type because its containing generator lacks a return-type annotation.",
     ]);
 });
+test("a JavaScript module keeps the setter opinion to itself", () => {
+    const library = `export class Store {
+  constructor() {
+    this.stored = 0;
+  }
+  set value(next) {
+    this.stored = next;
+  }
+  get value() {
+    return this.stored;
+  }
+}
+export const bag = {
+  set only(next) {
+    console.log(next);
+  },
+};
+`;
+    const main = 'import { Store, bag } from "./library.js"; const store = new Store(); store.value = 2; bag.only = 3; console.log(store.value);';
+    // A JavaScript setter's parameter is whatever the caller passes, and the
+    // lowering gives it checked-dynamic storage and dynamic reads; the
+    // checker's "implicitly any" opinion belongs to TypeScript input, where an
+    // annotation is a promise.
+    expect(diagnostics(library, main)).toEqual([]);
+    expect(diagnostics(library, main, "ts").map((diagnostic) => diagnostic.message)).toContain("Property 'only' implicitly has type 'any', because its set accessor lacks a parameter type annotation.");
+});
+test.for([
+    [
+        "2704",
+        'export const box = {};\nObject.defineProperty(box, "flag", { value: 1, configurable: true });\nexport function drop() { delete box.flag; }',
+    ],
+    ["2464", "export const box = {};\nexport function keyed() { return { [box]: 1 }; }"],
+    ["2365", "export function joined() { return true + 1; }"],
+    ["2689", "export class Derived extends AsyncIterator {}"],
+    ["1166", 'export class Field { ["a" + "b"] = 1; }'],
+    [
+        "7032",
+        "export class Hidden { set #slot(next) { console.log(next); } run(value) { this.#slot = value; } }",
+    ],
+])("a JavaScript module keeps the TS%s opinion it cannot lower", ([, library]) => {
+    // These codes stay refused: each names a program the lowerer cannot build
+    // exactly (a delete of a builtin's own property, a class element's computed
+    // key, an operator on operands it cannot convert, a class over a stdlib
+    // base, a class field with no stable key), so the relaxation must not
+    // admit them. The base is the async iterator interface: `extends Iterator`
+    // is a program the lowering builds, so it no longer carries an opinion to
+    // keep. The invalid assignment-target pair (2364 `f() += g()`,
+    // 2357 `f()++`) stays refused the same way: Node calls `f`, then throws.
+    expect(diagnostics(library, 'import * as library from "./library.js"; console.log(library);').length).toBeGreaterThan(0);
+});
+test("a checked JavaScript file keeps a typed slot its JSDoc declared", () => {
+    // TS2322 is one of the opinion table's `checkedJs: "enforce"` rows: a
+    // project that asked tsc to check its JavaScript keeps the error, while
+    // the same file unchecked takes the opinion (nothing at runtime checks the
+    // annotation Node never reads).
+    const main = 'import * as library from "./library.js"; console.log(library);';
+    const library = "/** @type {string} */\nexport let box = 1;\n";
+    expect(diagnostics(`// @ts-check\n${library}`, main).map((d) => d.message)).toContain("Type 'number' is not assignable to type 'string'.");
+    expect(diagnostics(library, main)).toEqual([]);
+});
+test("a checked JavaScript file still takes the opinions its JSDoc never asked for", () => {
+    // TS7006 has no `checkedJs: "enforce"`: checkJs asks tsc to check the
+    // JSDoc a file carries, not to invent parameter annotations it does not.
+    expect(diagnostics("// @ts-check\nexport function add(a, b) { return a + b; }\n", 'import { add } from "./library.js"; console.log(add(1, 2));')).toEqual([]);
+});
 //# sourceMappingURL=inferred-js-diagnostics.test.js.map

package/dist/frontend/inferred-js-diagnostics.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"inferred-js-diagnostics.test.js","sourceRoot":"","sources":["../../src/frontend/inferred-js-diagnostics.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhE,SAAS,WAAW,CAAC,OAAe,EAAE,IAAY,EAAE,SAAS,GAAG,IAAI;IAClE,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;IACtE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACpE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,SAAS,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IAChE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,IAAI,CAAC,4FAA4F,EAAE,GAAG,EAAE;IACtG,MAAM,CACJ,WAAW,CACT,4DAA4D,EAC5D,oEAAoE,CACrE,CACF,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,6CAA6C;IAC7C,0EAA0E;IAC1E,wFAAwF;CACzF,CAAC,CAAC,0EAA0E,EAAE,CAAC,OAAO,EAAE,EAAE;IACzF,MAAM,CACJ,WAAW,CAAC,OAAO,EAAE,uDAAuD,CAAC,CAAC,IAAI,CAChF,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CACpE,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,CACJ,WAAW,CACT,kDAAkD,EAClD,uDAAuD,EACvD,IAAI,CACL,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAC5E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,CACJ,WAAW,CACT,0FAA0F,EAC1F,gDAAgD,CACjD,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAC5E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,CACJ,WAAW,CACT,uFAAuF,EACvF,oDAAoD,CACrD,CACF,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,CACJ,WAAW,CACT,+FAA+F,EAC/F,oDAAoD,EACpD,IAAI,CACL,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC,CAClF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,CAAC,cAAc,EAAE,KAAK,CAAC;IACvB,CAAC,SAAS,EAAE,IAAI,CAAC;IACjB,CAAC,yBAAyB,EAAE,IAAI,CAAC;CACzB,CAAC,CAAC,8DAA8D,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE;IAC9F,MAAM,MAAM,GAAG,WAAW,CACxB;;qBAEiB,IAAI;;IAErB,EACA,oFAAoF,CACrF,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CACvF,OAAO,CACR,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,CACJ,WAAW,CACT;mIAC6H,EAC7H,0EAA0E,CAC3E,CACF,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;IACtD,MAAM,CACJ,WAAW,CACT,+EAA+E,EAC/E,wDAAwD,EACxD,IAAI,CACL,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAC5E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,MAAM,OAAO,GAAG;;;;;;CAMjB,CAAC;IACA,MAAM,IAAI,GACR,yGAAyG,CAAC;IAC5G,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QACvF,gEAAgE;QAChE,uCAAuC;QACvC,yHAAyH;KAC1H,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"inferred-js-diagnostics.test.js","sourceRoot":"","sources":["../../src/frontend/inferred-js-diagnostics.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhE,SAAS,WAAW,CAAC,OAAe,EAAE,IAAY,EAAE,SAAS,GAAG,IAAI;IAClE,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;IACtE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACpE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,SAAS,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IAChE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,IAAI,CAAC,4FAA4F,EAAE,GAAG,EAAE;IACtG,MAAM,CACJ,WAAW,CACT,4DAA4D,EAC5D,oEAAoE,CACrE,CACF,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,6CAA6C;IAC7C,0EAA0E;IAC1E,wFAAwF;CACzF,CAAC,CAAC,0EAA0E,EAAE,CAAC,OAAO,EAAE,EAAE;IACzF,MAAM,CACJ,WAAW,CAAC,OAAO,EAAE,uDAAuD,CAAC,CAAC,IAAI,CAChF,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CACpE,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,CACJ,WAAW,CACT,kDAAkD,EAClD,uDAAuD,EACvD,IAAI,CACL,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAC5E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,CACJ,WAAW,CACT,0FAA0F,EAC1F,gDAAgD,CACjD,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAC5E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,CACJ,WAAW,CACT,uFAAuF,EACvF,oDAAoD,CACrD,CACF,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,CACJ,WAAW,CACT,+FAA+F,EAC/F,oDAAoD,EACpD,IAAI,CACL,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC,CAClF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP,CAAC,cAAc,EAAE,KAAK,CAAC;IACvB,CAAC,SAAS,EAAE,IAAI,CAAC;IACjB,CAAC,yBAAyB,EAAE,IAAI,CAAC;CACzB,CAAC,CAAC,8DAA8D,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE;IAC9F,MAAM,MAAM,GAAG,WAAW,CACxB;;qBAEiB,IAAI;;IAErB,EACA,oFAAoF,CACrF,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CACvF,OAAO,CACR,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,CACJ,WAAW,CACT;mIAC6H,EAC7H,0EAA0E,CAC3E,CACF,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;IACtD,MAAM,CACJ,WAAW,CACT,+EAA+E,EAC/E,wDAAwD,EACxD,IAAI,CACL,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAC5E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,MAAM,OAAO,GAAG;;;;;;CAMjB,CAAC;IACA,MAAM,IAAI,GACR,yGAAyG,CAAC;IAC5G,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QACvF,gEAAgE;QAChE,uCAAuC;QACvC,yHAAyH;KAC1H,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,OAAO,GAAG;;;;;;;;;;;;;;;;CAgBjB,CAAC;IACA,MAAM,IAAI,GACR,gIAAgI,CAAC;IACnI,yEAAyE;IACzE,mEAAmE;IACnE,2EAA2E;IAC3E,2BAA2B;IAC3B,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CACxF,wGAAwG,CACzG,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,GAAG,CAAC;IACP;QACE,MAAM;QACN,4IAA4I;KAC7I;IACD,CAAC,MAAM,EAAE,0EAA0E,CAAC;IACpF,CAAC,MAAM,EAAE,+CAA+C,CAAC;IACzD,CAAC,MAAM,EAAE,+CAA+C,CAAC;IACzD,CAAC,MAAM,EAAE,yCAAyC,CAAC;IACnD;QACE,MAAM;QACN,mGAAmG;KACpG;CACO,CAAC,CAAC,4DAA4D,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE;IACxF,0EAA0E;IAC1E,4EAA4E;IAC5E,wEAAwE;IACxE,sEAAsE;IACtE,2EAA2E;IAC3E,0EAA0E;IAC1E,+DAA+D;IAC/D,yEAAyE;IACzE,MAAM,CACJ,WAAW,CAAC,OAAO,EAAE,gEAAgE,CAAC,CAAC,MAAM,CAC9F,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,sEAAsE;IACtE,wEAAwE;IACxE,2EAA2E;IAC3E,gCAAgC;IAChC,MAAM,IAAI,GAAG,gEAAgE,CAAC;IAC9E,MAAM,OAAO,GAAG,8CAA8C,CAAC;IAC/D,MAAM,CAAC,WAAW,CAAC,iBAAiB,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CACnF,mDAAmD,CACpD,CAAC;IACF,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AACjD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,sEAAsE;IACtE,yEAAyE;IACzE,MAAM,CACJ,WAAW,CACT,6DAA6D,EAC7D,6DAA6D,CAC9D,CACF,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC"}

package/dist/frontend/jsx-opinion-sites.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/jsx-opinion-sites.test.js

@@ -0,0 +1,86 @@
+import { mkdtempSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { expect, test } from "vitest";
+import { checkPreflight, loadProgram } from "./program-node.js";
+/** A checked JavaScript program whose JSX comes before the admitted site.
+ * The rewrite inserts the runtime import and replaces the element, so every
+ * offset after the first element moves by a different amount than the one
+ * before it. */
+function jsxProject() {
+    const directory = mkdtempSync(join(tmpdir(), "scriptc-jsx-opinion-"));
+    writeFileSync(join(directory, "package.json"), '{"type":"module"}');
+    writeFileSync(join(directory, "tsconfig.json"), JSON.stringify({
+        compilerOptions: {
+            allowJs: true,
+            checkJs: true,
+            strict: true,
+            jsx: "react-jsx",
+            noEmit: true,
+        },
+    }));
+    writeFileSync(join(directory, "jsx-types.d.ts"), [
+        "declare namespace JSX {",
+        "  interface IntrinsicElements { div: any }",
+        "}",
+        'declare module "react/jsx-runtime" {',
+        "  export const jsx: any;",
+        "  export const jsxs: any;",
+        "  export const Fragment: any;",
+        "}",
+        "",
+    ].join("\n"));
+    const source = [
+        '/// <reference path="./jsx-types.d.ts" />',
+        'const box = <div className="box" />;',
+        "export function pick(value) { return value; }",
+        "export { box };",
+        "",
+    ].join("\n");
+    const file = join(directory, "app.jsx");
+    writeFileSync(file, source);
+    return { directory, file, source };
+}
+test("an admitted opinion site is recorded at its span in the text the lowering holds", () => {
+    const { directory, file } = jsxProject();
+    const load = loadProgram(file);
+    try {
+        expect(checkPreflight(load)).toEqual([]);
+        const lowered = load.jsxSources?.get(file);
+        expect(lowered).toBeDefined();
+        // The parameter's implicit any (TS7006) is admitted once: the world over
+        // the text as written and the world over the rewritten text name the
+        // same site, so the record is one entry, at the rewritten offset.
+        const sites = (load.admittedOpinions ?? []).filter((site) => site.code === 7006);
+        expect(sites).toHaveLength(1);
+        const site = sites[0];
+        expect(lowered.text.slice(site.pos, site.end)).toBe("value");
+    }
+    finally {
+        load.dispose();
+        rmSync(directory, { recursive: true, force: true });
+    }
+});
+test("a site with no JSX rewrite keeps its diagnostic offsets", () => {
+    const directory = mkdtempSync(join(tmpdir(), "scriptc-js-opinion-"));
+    writeFileSync(join(directory, "package.json"), '{"type":"module"}');
+    writeFileSync(join(directory, "tsconfig.json"), JSON.stringify({
+        compilerOptions: { allowJs: true, checkJs: true, strict: true, noEmit: true },
+    }));
+    const source = "export function pick(value) { return value; }\n";
+    const file = join(directory, "app.js");
+    writeFileSync(file, source);
+    const load = loadProgram(file);
+    try {
+        expect(checkPreflight(load)).toEqual([]);
+        const sites = (load.admittedOpinions ?? []).filter((site) => site.code === 7006);
+        expect(sites).toHaveLength(1);
+        const site = sites[0];
+        expect(source.slice(site.pos, site.end)).toBe("value");
+    }
+    finally {
+        load.dispose();
+        rmSync(directory, { recursive: true, force: true });
+    }
+});
+//# sourceMappingURL=jsx-opinion-sites.test.js.map

package/dist/frontend/jsx-opinion-sites.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-opinion-sites.test.js","sourceRoot":"","sources":["../../src/frontend/jsx-opinion-sites.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhE;;;gBAGgB;AAChB,SAAS,UAAU;IACjB,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;IACtE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACpE,aAAa,CACX,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,EAChC,IAAI,CAAC,SAAS,CAAC;QACb,eAAe,EAAE;YACf,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;YACZ,GAAG,EAAE,WAAW;YAChB,MAAM,EAAE,IAAI;SACb;KACF,CAAC,CACH,CAAC;IACF,aAAa,CACX,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,EACjC;QACE,yBAAyB;QACzB,4CAA4C;QAC5C,GAAG;QACH,sCAAsC;QACtC,0BAA0B;QAC1B,2BAA2B;QAC3B,+BAA+B;QAC/B,GAAG;QACH,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,MAAM,MAAM,GAAG;QACb,2CAA2C;QAC3C,sCAAsC;QACtC,+CAA+C;QAC/C,iBAAiB;QACjB,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACxC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5B,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACrC,CAAC;AAED,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,yEAAyE;QACzE,qEAAqE;QACrE,kEAAkE;QAClE,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,MAAM,CAAC,OAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChE,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;IACrE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACpE,aAAa,CACX,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,EAChC,IAAI,CAAC,SAAS,CAAC;QACb,eAAe,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;KAC9E,CAAC,CACH,CAAC;IACF,MAAM,MAAM,GAAG,iDAAiD,CAAC;IACjE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/frontend/lib-exports.d.ts

@@ -1,7 +1,10 @@
 import * as ts from "./ts7/adapter.js";
 import type { SrcLoc } from "../ir/ir.js";
-export interface EntryExportInfo {
+/** An export name that resolves to a function declaration. */
+export interface EntryFunctionExport {
+    kind: "function";
     name: string;
+    /** The declaration site (where SC4003/SC4004/SC4007 anchor). */
     loc: SrcLoc;
     /** Declared type parameters — SC4007 (a profile entry needs one concrete
      * compiled signature). */
@@ -11,6 +14,22 @@ export interface EntryExportInfo {
     /** `function*` — SC4004. */
     generator: boolean;
 }
-/** Every `export function f(...)` of the entry file, by exported name.
- * Overload signatures collapse onto one entry (same name, one body). */
-export declare function entryFunctionExports(entry: ts.SourceFile): Map<string, EntryExportInfo>;
+/** An export name that resolves to something other than a function
+ * declaration: SC4002 names what the name denotes. */
+export interface EntryValueExport {
+    kind: "value";
+    name: string;
+    loc: SrcLoc;
+    /** "a class", "a variable", "a type", … */
+    what: string;
+}
+export type EntryExport = EntryFunctionExport | EntryValueExport;
+/** The symbol the entry module's export `name` denotes, with aliases (a
+ * local export list, a named re-export, and the chains they can form)
+ * resolved to the declaration that supplies the value. Null when the
+ * entry module exports nothing under that name. */
+export declare function resolveEntryExportSymbol(checker: ts.TypeChecker, entry: ts.SourceFile, name: string): ts.Symbol | null;
+/** Resolve the profile's export names against the entry module — the facts
+ * the SC4002/SC4004/SC4007 refusals key on, by exported name. Names the
+ * entry does not export at all are absent from the map. */
+export declare function entryExportFacts(program: ts.Program, entry: ts.SourceFile, names: readonly string[]): Map<string, EntryExport>;

package/dist/frontend/lib-exports.js

@@ -1,35 +1,107 @@
-/* Library mode's export resolution input: what the ENTRY source file exports
- * as function declarations. Resolution runs on the frontend's program
- * object after preflight (design §5.3) — the export map may only name
- * exports of the profile's one entry module, and today's compilable export
- * surface for functions is exactly `export function f(...)` declarations
- * (export lists and re-exports are SC1014-fenced, so nothing else can
- * reach a compiled program). The per-declaration facts collected here are
+/* Library mode's export resolution input: what the ENTRY module exports,
+ * resolved through its export table. Resolution runs on the frontend's
+ * program object after preflight (design §5.3) — the export map may only
+ * name exports of the profile's one entry module, and the compilable
+ * export surface for functions is a function DECLARATION reached from
+ * that module's exports. A direct `export function f(...)`, an export
+ * list (`export { f }`, `export { f as g }`), and a re-export
+ * (`export { f } from "./m"`, `export * from "./m"`) all name the same
+ * declaration, so the facts (and, in the lowering, the unit the
+ * declaration compiles to) come from the declaration site: the one-line
+ * facade SC4002 points authors to is exactly as good as declaring the
+ * function in the entry. The per-declaration facts collected here are
  * what the SC4002/SC4004/SC4007 refusals key on; the marshalling check
  * (SC4003) runs later against the lowered IrFunction's types. */
 import * as ts from "./ts7/adapter.js";
-/** Every `export function f(...)` of the entry file, by exported name.
- * Overload signatures collapse onto one entry (same name, one body). */
-export function entryFunctionExports(entry) {
+/** The symbol the entry module's export `name` denotes, with aliases (a
+ * local export list, a named re-export, and the chains they can form)
+ * resolved to the declaration that supplies the value. Null when the
+ * entry module exports nothing under that name. */
+export function resolveEntryExportSymbol(checker, entry, name) {
+    const moduleSymbol = checker.getSymbolAtLocation(entry);
+    if (moduleSymbol === undefined)
+        return null;
+    const exported = checker.getExportsOfModule(moduleSymbol).find((s) => ts.symbolName(s) === name);
+    if (exported === undefined)
+        return null;
+    let symbol = exported;
+    // Alias chains are bounded like any other syntactic walk: a malformed or
+    // cyclic export graph must not spin here (the checker itself refuses
+    // cycles earlier; this is the belt).
+    for (let hops = 0; hops < 32 && (symbol.flags & ts.SymbolFlags.Alias) !== 0; hops++)
+        symbol = checker.getAliasedSymbol(symbol);
+    return symbol;
+}
+/** Resolve the profile's export names against the entry module — the facts
+ * the SC4002/SC4004/SC4007 refusals key on, by exported name. Names the
+ * entry does not export at all are absent from the map. */
+export function entryExportFacts(program, entry, names) {
     const out = new Map();
-    for (const stmt of entry.statements.nodes) {
-        if (!ts.isFunctionDeclaration(stmt) || stmt.name === undefined)
-            continue;
-        const mods = ts.canHaveModifiers(stmt) ? ts.getModifiers(stmt) : undefined;
-        const exported = mods?.some((m) => m.kind === ts.SyntaxKind.ExportKeyword) === true;
-        if (!exported)
-            continue;
-        const name = stmt.name.text;
-        if (out.has(name) && stmt.body === undefined)
-            continue; // overload signature
-        out.set(name, {
+    if (names.length === 0)
+        return out;
+    const checker = program.getTypeChecker();
+    for (const name of names) {
+        const symbol = resolveEntryExportSymbol(checker, entry, name);
+        if (symbol === null)
+            continue; // not exported: SC4002
+        out.set(name, exportFactOf(symbol, name));
+    }
+    return out;
+}
+/** One export symbol's fact. Overload signatures collapse onto their
+ * implementation (same symbol, one body); a name that denotes any other
+ * value or type is described by what it is so SC4002 can say so. */
+function exportFactOf(symbol, name) {
+    const declarations = symbol.declarations;
+    const functions = declarations.filter((d) => ts.isFunctionDeclaration(d));
+    if (functions.length > 0) {
+        const impl = functions.find((d) => d.body !== undefined) ?? functions[functions.length - 1];
+        const sf = ts.getSourceFileOfNode(impl);
+        const mods = ts.canHaveModifiers(impl) ? ts.getModifiers(impl) : undefined;
+        return {
+            kind: "function",
             name,
-            loc: { file: entry.fileName, start: ts.tokenStartOfNode(stmt), end: stmt.end },
-            generic: (stmt.typeParameters?.nodes.length ?? 0) > 0,
+            loc: { file: sf.fileName, start: ts.tokenStartOfNode(impl), end: impl.end },
+            generic: (impl.typeParameters?.nodes.length ?? 0) > 0,
             async: mods?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword) === true,
-            generator: stmt.asteriskToken !== undefined,
-        });
+            generator: impl.asteriskToken !== undefined,
+        };
     }
-    return out;
+    const declaration = symbol.valueDeclaration ?? declarations[0];
+    const loc = declaration === undefined
+        ? { file: "", start: 0, end: 0 }
+        : {
+            file: ts.getSourceFileOfNode(declaration).fileName,
+            start: ts.tokenStartOfNode(declaration),
+            end: declaration.end,
+        };
+    return { kind: "value", name, loc, what: whatItIs(symbol, declaration) };
+}
+/** A short noun phrase for what a non-function export denotes, for the
+ * SC4002 message. */
+function whatItIs(symbol, declaration) {
+    if (declaration !== undefined) {
+        if (ts.isClassDeclaration(declaration) || ts.isClassExpression(declaration))
+            return "a class";
+        if (ts.isEnumDeclaration(declaration))
+            return "an enum";
+        if (ts.isVariableDeclaration(declaration))
+            return "a variable";
+        if (ts.isImportSpecifier(declaration) || ts.isImportClause(declaration))
+            return "an imported binding";
+        if (ts.isInterfaceDeclaration(declaration) || ts.isTypeAliasDeclaration(declaration))
+            return "a type";
+        if (ts.isModuleDeclaration(declaration))
+            return "a namespace";
+    }
+    if ((symbol.flags & ts.SymbolFlags.Class) !== 0)
+        return "a class";
+    if ((symbol.flags & ts.SymbolFlags.Enum) !== 0)
+        return "an enum";
+    if ((symbol.flags & ts.SymbolFlags.Variable) !== 0)
+        return "a variable";
+    if ((symbol.flags & (ts.SymbolFlags.Interface | ts.SymbolFlags.TypeAlias)) !== 0)
+        return "a type";
+    return "a non-function value";
 }
 //# sourceMappingURL=lib-exports.js.map

package/dist/frontend/lib-exports.js.map

@@ -1 +1 @@
-{"version":3,"file":"lib-exports.js","sourceRoot":"","sources":["../../src/frontend/lib-exports.ts"],"names":[],"mappings":"AAAA;;;;;;;;iEAQiE;AACjE,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAevC;wEACwE;AACxE,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACzE,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,QAAQ,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC;QACpF,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5B,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,qBAAqB;QAC7E,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;YACZ,IAAI;YACJ,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YAC9E,OAAO,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YACrD,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI;YACxE,SAAS,EAAE,IAAI,CAAC,aAAa,KAAK,SAAS;SAC5C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"lib-exports.js","sourceRoot":"","sources":["../../src/frontend/lib-exports.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;iEAaiE;AACjE,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AA8BvC;;;mDAGmD;AACnD,MAAM,UAAU,wBAAwB,CACtC,OAAuB,EACvB,KAAoB,EACpB,IAAY;IAEZ,MAAM,YAAY,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxD,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IACjG,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,MAAM,GAAG,QAAQ,CAAC;IACtB,yEAAyE;IACzE,qEAAqE;IACrE,qCAAqC;IACrC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE;QACjF,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;2DAE2D;AAC3D,MAAM,UAAU,gBAAgB,CAC9B,OAAmB,EACnB,KAAoB,EACpB,KAAwB;IAExB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACnC,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,wBAAwB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9D,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS,CAAC,uBAAuB;QACtD,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;oEAEoE;AACpE,SAAS,YAAY,CAAC,MAAiB,EAAE,IAAY;IACnD,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;IACzC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CACvE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAC5B,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QAC7F,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,IAAI;YACJ,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YAC3E,OAAO,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YACrD,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI;YACxE,SAAS,EAAE,IAAI,CAAC,aAAa,KAAK,SAAS;SAC5C,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,gBAAgB,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,GAAG,GACP,WAAW,KAAK,SAAS;QACvB,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAChC,CAAC,CAAC;YACE,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,QAAQ;YAClD,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;YACvC,GAAG,EAAE,WAAW,CAAC,GAAG;SACrB,CAAC;IACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED;qBACqB;AACrB,SAAS,QAAQ,CAAC,MAAiB,EAAE,WAAgC;IACnE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9F,IAAI,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YAAE,OAAO,YAAY,CAAC;QAC/D,IAAI,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC;YACrE,OAAO,qBAAqB,CAAC;QAC/B,IAAI,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC;YAClF,OAAO,QAAQ,CAAC;QAClB,IAAI,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC;YAAE,OAAO,aAAa,CAAC;IAChE,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClE,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjE,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC;IACxE,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,SAAS,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAClG,OAAO,sBAAsB,CAAC;AAChC,CAAC"}

package/dist/frontend/lowering/binding-analysis.js

@@ -264,6 +264,15 @@ export function nullishGenericBindingUnitOf(lowerer, sym) {
         return null;
     const declared = lowerer.checker.getTypeOfSymbol(sym);
     const mapped = lowerer.mapTypeOf(declared);
+    // A DECLARED generic signature (`let a: <T>() => T = null!`) maps to its
+    // erased func type, but a nullish value has no func slot either: the
+    // no-storage family keeps the binding, exactly as it does for the empty
+    // record below. A non-generic func slot keeps its storage and its
+    // representation error.
+    if (mapped !== null &&
+        mapped.kind === "func" &&
+        lowerer.checker.getCallSignatures(declared).some((sig) => sig.getTypeParameters().length > 0))
+        return unit;
     if (mapped !== null) {
         // Only the EMPTY interned shape qualifies among record mappings —
         // the all-generic-signature interface (`I<A & B>`) whose struct has
@@ -402,9 +411,18 @@ export function deadUnmappableBinding(lowerer, sym, decl) {
     // The type gate LAST among the cheap checks: querying the checker for
     // a type is the expensive step (and can panic upstream — the 1e999
     // bug), so only survivors of the syntactic filters pay it. Mappable
-    // types keep their real storage.
-    if (lowerer.mapTypeOf(lowerer.checker.getTypeOfSymbol(sym)) !== null)
-        return false;
+    // types keep their real storage, EXCEPT a generic signature, which now
+    // maps to its erased func type (`var a1: { <T, U extends T>(): void }`):
+    // a dead binding of one is still materialized and dropped by Node, so
+    // it keeps this family's zero code instead of gaining a func slot.
+    const declared = lowerer.checker.getTypeOfSymbol(sym);
+    const mapped = lowerer.mapTypeOf(declared);
+    if (mapped !== null) {
+        const erasedSignature = mapped.kind === "func" &&
+            lowerer.checker.getCallSignatures(declared).some((sig) => sig.getTypeParameters().length > 0);
+        if (!erasedSignature)
+            return false;
+    }
     const symText = ts.symbolName(sym);
     const namesSym = (e) => ts.isIdentifier(e) && e.text === symText && lowerer.resolveValueSymbol(e) === sym;
     let dead = true;