json-dyn.ts:25:41 - error SC1090: JSON.stringify of '(number) => number' values (only number, string, boolean, records, arrays, unions of those, and 'unknown' stringify) are not supported yet

  24 | wantsUnknown(new Map<string, number>());
  25 | const stringifyClosure = JSON.stringify((x: number) => x + 1);
     |                                         ^~~~~~~~~~~~~~~~~~~~
  26 | class Point {

json-dyn.ts:42:3 - error SC1090: 'unknown'-typed class fields are not supported yet

  41 | class Holder {
  42 |   data: unknown = JSON.parse("{}");
     |   ^~~~
  43 | }

json-dyn.ts:46:7 - error SC2007: values of type '{ (text: string, reviver?: ((this: any, key: string, value: any) => any) | undefined): any; (text: string): unknown; (text: string, reviver: (this: unknown, key: string, value: unknown) => unknown): unknown; }' cannot be compiled: the type declares multiple call signatures (overloads), and a compiled function value is always one concrete signature

  45 | const dynArray: unknown[] = []; // unknown[] IS the dyn array now — no fence (corpus 2585)
  46 | const parseRef = JSON.parse;
     |       ^~~~~~~~
  47 | // The exact `string | undefined` root now lowers: strings serialize while

  hint: annotate the slot with the ONE signature the program actually calls (e.g. '(x: number) => string'), or wrap the overloaded function in a single-signature arrow

json-dyn.ts:46:18 - error SC1090: JSON methods as values (call 'parse' directly) are not supported yet

  45 | const dynArray: unknown[] = []; // unknown[] IS the dyn array now — no fence (corpus 2585)
  46 | const parseRef = JSON.parse;
     |                  ^~~~~~~~~~
  47 | // The exact `string | undefined` root now lowers: strings serialize while

json-dyn.ts:63:1 - error SC1090: constructing through a class value whose class has no lowering (the class declaration itself was rejected — see its own diagnostic) is not supported yet

  62 | // them relevant; these references are what makes them count.
  63 | new Holder();
     | ^~~~~~~~~~~~
  64 | // End with a nonblank context line so diagnostic snapshots carry no trailing whitespace.