From cd5607493e80c361eeeace337a40311da15fa19f Mon Sep 17 00:00:00 2001 From: Malte Ubl Date: Sun, 25 Oct 2026 18:57:21 -0700 Subject: [PATCH] Pin the diagnostics corpus to --tier=static-only Its programs pin today's refusals; localized failure turns several of them into checked dynamic slots in the default mode. Under static-only every snapshot stays byte-identical, which is the stage's proof that the switch restores the refusals. Co-Authored-By: Claude Opus 5.5 --- tests/harness/diagnostics.test.ts | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tests/harness/diagnostics.test.ts b/tests/harness/diagnostics.test.ts index 77fd5937d..895ed9647 100644 --- a/tests/harness/diagnostics.test.ts +++ b/tests/harness/diagnostics.test.ts @@ -39,7 +39,14 @@ describe(`diagnostics corpus (${files.length} programs)`, () => { if (name.startsWith("checker-panic-")) process.env["SCRIPTC_CHECKER"] = "tsgo"; let result: Awaited>; try { - result = await compile(file, { outPath: join(outDir, "never"), outDir }); + // --tier=static-only: these programs pin today's refusals, which + // localized failure otherwise turns into checked dynamic slots + // (the snapshots double as its proof that static-only keeps them). + result = await compile(file, { + outPath: join(outDir, "never"), + outDir, + tier: "static-only", + }); } finally { if (checker === undefined) delete process.env["SCRIPTC_CHECKER"]; else process.env["SCRIPTC_CHECKER"] = checker;