mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-19 05:29:46 +08:00
Chris Tate
e517a251ae
- Preserve class property views, opaque record identity, and nullable structural conversions - Run package metadata transforms and TypeScript option merges as native code - Serialize live typed records with opaque payloads and JSON hooks
48 lines
3.0 KiB
TypeScript
48 lines
3.0 KiB
TypeScript
import { mkdtempSync, rmSync, writeFileSync } from "node:fs";
|
|
import { tmpdir } from "node:os";
|
|
import { join } from "node:path";
|
|
import { expect, test } from "vitest";
|
|
import { analyze } from "../src/index.js";
|
|
|
|
const nominal = `
|
|
class Row { left = 1; right = 2; }
|
|
const rows = [new Row()];
|
|
function choose(): string { return "left"; }
|
|
`;
|
|
|
|
test.each([
|
|
["optional nominal missing read", nominal + `console.log((rows[0] as unknown as { missing: number })["missing"]);`, "structural views of class instances"],
|
|
["optional nominal missing write", nominal + `(rows[0] as unknown as { missing: number })["missing"] = 3;`, "structural views of class instances"],
|
|
["optional nominal computed read", nominal + `console.log((rows[0] as unknown as Record<string, number>)[choose()]);`, "structural views of class instances"],
|
|
["optional nominal computed write", nominal + `(rows[0] as unknown as Record<string, number>)[choose()] = 3;`, "structural views of class instances"],
|
|
["nominal computed write", nominal + `(new Row() as unknown as Record<string, number>)[choose()] = 3;`, "structural views of class instances"],
|
|
["getter-only structural write", `class Row { get value(): number { return 1; } }
|
|
(new Row() as { value: number })["value"] = 2;`, "getter-only property"],
|
|
["setter-only structural read", `class Row { set value(value: number) { console.log(value); } }
|
|
console.log((new Row() as { value: number })["value"]);`, "only a setter"],
|
|
["opaque class view cannot discard prototype accessors", `class Row { get value(): number { return 1; } }
|
|
const opaque = new Row() as { value: unknown }; console.log(opaque.value);`, "opaque structural views"],
|
|
["opaque optional class view cannot discard prototype accessors", nominal + `
|
|
console.log((rows[0] as { left: unknown }).left);`, "opaque structural views"],
|
|
["opaque record view cannot discard accessors", `
|
|
const source = { get value(): number { return 1; } };
|
|
console.log((source as { value: unknown }).value);`, "opaque structural views"],
|
|
["runtime keys cannot supply required fields", `
|
|
const values: Record<string, unknown> = { value: 1 };
|
|
const result: { value: number } = { ...values } as { value: number };
|
|
console.log(result.value);`, "required field"],
|
|
])("%s reports a frontend refusal instead of selecting the wrong layout", (_name, source, message) => {
|
|
const dir = mkdtempSync(join(process.platform === "win32" ? tmpdir() : "/tmp", "scriptc-structural-refusal-"));
|
|
try {
|
|
const entry = join(dir, "main.ts");
|
|
writeFileSync(entry, source);
|
|
const { coverage } = analyze(entry, { dynamic: false });
|
|
expect(coverage.preflightFailed, JSON.stringify(coverage.diagnostics)).toBe(false);
|
|
expect(coverage.diagnostics).toContainEqual(expect.objectContaining({ code: "SC1090", message: expect.stringContaining(message) }));
|
|
expect(coverage.diagnostics.some((diagnostic) => diagnostic.code === "SC9001")).toBe(false);
|
|
expect(coverage.stats.statementsIsland).toBe(0);
|
|
} finally {
|
|
rmSync(dir, { recursive: true, force: true });
|
|
}
|
|
});
|