mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-22 05:59:31 +08:00
Chris Tate
1f10e83720
- Preserve callback identity, receiver binding, and class references across unions and collections. - Track record field presence independently of undefined values and improve native runtime behavior. - Expand differential coverage and streamline CI bootstrap and compiler rebuild checks.
45 lines
1.2 KiB
TypeScript
45 lines
1.2 KiB
TypeScript
// Catch bindings are deliberately NARROW: the binding is typed by what the
|
|
// exception cell can actually hold, so the supported uses are the narrowing
|
|
// tests (instanceof over native classes, typeof over selected types), reads
|
|
// under a proven narrow, rethrow, and the unknown-slot CONVERSION (an
|
|
// un-narrowed use typed `unknown` converts to a dynamic value — corpus
|
|
// 1554; `const copy = e` compiles now and is NOT in this fence corpus).
|
|
// Everything else must terminate in a clean fence — never a silent
|
|
// mis-read of the payload.
|
|
class Standalone {
|
|
n = 1;
|
|
}
|
|
try {
|
|
throw 2;
|
|
} catch (e) {
|
|
const probe = (): boolean => e instanceof Error; // capture by a closure
|
|
console.log(probe());
|
|
}
|
|
try {
|
|
throw 3;
|
|
} catch (e) {
|
|
if (e instanceof Standalone) {
|
|
// Standalone classes are recognized without a vtable.
|
|
console.log("no");
|
|
}
|
|
}
|
|
try {
|
|
throw 4;
|
|
} catch ({ message }: any) {
|
|
// destructuring patterns stay out
|
|
console.log("no");
|
|
}
|
|
try {
|
|
throw 5;
|
|
} catch (e) {
|
|
e = "reassigned"; // the binding is read-only
|
|
}
|
|
try {
|
|
throw 6;
|
|
} catch (e) {
|
|
if (typeof e === "function") {
|
|
// callable catch tests remain outside the supported narrowing set
|
|
console.log("no");
|
|
}
|
|
}
|