mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-11-10 01:56:15 +08:00
60 lines
2.9 KiB
TypeScript
60 lines
2.9 KiB
TypeScript
/* The options-record stance's FENCE half (the accept-and-drop half is
|
|
* corpus 1750/1751): every key typechecks against the widened fallback
|
|
* declarations, and the option walks fence BY NAME — documented keys the
|
|
* compiler cannot honor, value shapes it cannot lower, and effectful
|
|
* values on keys Node would ignore but still evaluate. Never a generic
|
|
* excess-property error. */
|
|
import * as http from "node:http";
|
|
import * as tls from "node:tls";
|
|
import * as fs from "node:fs";
|
|
import * as dns from "node:dns";
|
|
import * as readline from "node:readline";
|
|
|
|
// The Agent lowers to a checked-dynamic handle now — but only from a
|
|
// LITERAL options object; a runtime options value cannot be walked.
|
|
const agentOpts: http.AgentOptions = { maxSockets: 1 };
|
|
const agent = new http.Agent(agentOpts);
|
|
http.get({ port: 80, agent }, () => {});
|
|
|
|
// agent: false needs a LITERAL headers object to inject Connection: close
|
|
// into; a record variable cannot be checked for a user connection header.
|
|
const dynHeaders: Record<string, string> = { "x-a": "1" };
|
|
http.get({ port: 80, agent: false, headers: dynHeaders }, () => {});
|
|
|
|
// Documented client options with no lowering fence by name.
|
|
http.get({ port: 80, socketPath: "/tmp/sock.s" }, () => {});
|
|
http.get({ port: 80, localAddress: "127.0.0.1" }, () => {});
|
|
|
|
// An UNDOCUMENTED key Node would ignore — but Node still evaluates the
|
|
// value, so an effectful one cannot silently drop.
|
|
function effect(): number {
|
|
console.log("observed");
|
|
return 1;
|
|
}
|
|
http.get({ port: 80, zorp: effect() }, () => {});
|
|
|
|
// Documented TLS server options with no lowering fence by name.
|
|
tls.createServer({ cert: "c", key: "k", ciphers: "TLS_AES_128_GCM_SHA256" }, () => {});
|
|
tls.createServer({ cert: "c", key: "k", ticketKeys: new Uint8Array(48) }, () => {});
|
|
|
|
// fs.watch: the options that would CHANGE behavior fence by name; the
|
|
// stated defaults are accepted (corpus 1751).
|
|
fs.watch("/tmp", { recursive: true }, () => {});
|
|
fs.watch("/tmp", { persistent: false }, () => {});
|
|
|
|
// dns.lookup: hints/all are documented knobs with no lowering.
|
|
dns.lookup("localhost", { family: 4, hints: 32 }, () => {});
|
|
dns.lookup("localhost", { family: 4, all: true }, () => {});
|
|
|
|
// readline: history only exists for terminal interfaces; completer
|
|
// needs an interactive terminal.
|
|
readline.createInterface({ input: process.stdin, output: process.stdout, historySize: 10 });
|
|
readline.createInterface({ input: process.stdin, output: process.stdout, completer: (l: string) => [[l], l] });
|
|
|
|
// A bare __proto__: value entry is not an ordinary undocumented key: it
|
|
// changes the options record's prototype, and Node reads inherited options.
|
|
// These must fence instead of dropping an inherited flag or mode without a diagnostic.
|
|
fs.writeFileSync("/tmp/proto-sync", "x", { __proto__: { flag: "a" } });
|
|
void fs.promises.writeFile("/tmp/proto-promise", "x", { __proto__: { mode: 0o600 } });
|
|
// Both calls must terminate in the explicit prototype-options fence.
|