fix(fast_check): emit named type in mapped types

Cargo.toml

@@ -40,7 +40,7 @@ harness = false
 anyhow = "1.0.43"
 async-trait = "0.1.68"
 data-url = "0.3.0"
-deno_ast = { version = "0.39.0", features = ["dep_analysis", "emit"] }
+deno_ast = { version = "0.39.2", features = ["dep_analysis", "emit"] }
 deno_semver = "0.5.4"
 deno_unsync = { version = "0.3.2", optional = true }
 encoding_rs = "0.8.33"

tests/specs/ecosystem/codehz/mutable_element/0_2_0.test

@@ -223,14 +223,19 @@ TS2304 [ERROR]: Cannot find name 'Node'.
     at file://<tmpdir>/src/types.ts:3:68
 
 TS2304 [ERROR]: Cannot find name 'CSSStyleDeclaration'.
-  [K in keyof CSSStyleDeclaration]?: string | boolean | null;
+  [K in keyof CSSStyleDeclaration as [K, CSSStyleDeclaration[K]] extends [string, string] ? K : never]?: string | boolean | null;
               ~~~~~~~~~~~~~~~~~~~
     at file://<tmpdir>/src/types.ts:33:15
 
+TS2304 [ERROR]: Cannot find name 'CSSStyleDeclaration'.
+  [K in keyof CSSStyleDeclaration as [K, CSSStyleDeclaration[K]] extends [string, string] ? K : never]?: string | boolean | null;
+                                         ~~~~~~~~~~~~~~~~~~~
+    at file://<tmpdir>/src/types.ts:33:42
+
 TS2304 [ERROR]: Cannot find name 'IdleDeadline'.
 export function idle(): Reactor<IdleDeadline> {
                                 ~~~~~~~~~~~~
     at file://<tmpdir>/src/utils.ts:55:33
 
-Found 45 errors.
+Found 46 errors.
 

tests/specs/ecosystem/codehz/mutable_element/0_2_1.test

@@ -223,14 +223,19 @@ TS2304 [ERROR]: Cannot find name 'Node'.
     at file://<tmpdir>/src/types.ts:3:68
 
 TS2304 [ERROR]: Cannot find name 'CSSStyleDeclaration'.
-  [K in keyof CSSStyleDeclaration]?: string | boolean | null;
+  [K in keyof CSSStyleDeclaration as [K, CSSStyleDeclaration[K]] extends [string, string] ? K : never]?: string | boolean | null;
               ~~~~~~~~~~~~~~~~~~~
     at file://<tmpdir>/src/types.ts:33:15
 
+TS2304 [ERROR]: Cannot find name 'CSSStyleDeclaration'.
+  [K in keyof CSSStyleDeclaration as [K, CSSStyleDeclaration[K]] extends [string, string] ? K : never]?: string | boolean | null;
+                                         ~~~~~~~~~~~~~~~~~~~
+    at file://<tmpdir>/src/types.ts:33:42
+
 TS2304 [ERROR]: Cannot find name 'IdleDeadline'.
 export function idle(): Reactor<IdleDeadline> {
                                 ~~~~~~~~~~~~
     at file://<tmpdir>/src/utils.ts:55:33
 
-Found 45 errors.
+Found 46 errors.
 

tests/specs/ecosystem/codehz/mutable_element/0_2_2.test

@@ -228,14 +228,19 @@ TS2304 [ERROR]: Cannot find name 'Node'.
     at file://<tmpdir>/src/types.ts:3:68
 
 TS2304 [ERROR]: Cannot find name 'CSSStyleDeclaration'.
-  [K in keyof CSSStyleDeclaration]?: string | boolean | null;
+  [K in keyof CSSStyleDeclaration as [K, CSSStyleDeclaration[K]] extends [string, string] ? K : never]?: string | boolean | null;
               ~~~~~~~~~~~~~~~~~~~
     at file://<tmpdir>/src/types.ts:33:15
 
+TS2304 [ERROR]: Cannot find name 'CSSStyleDeclaration'.
+  [K in keyof CSSStyleDeclaration as [K, CSSStyleDeclaration[K]] extends [string, string] ? K : never]?: string | boolean | null;
+                                         ~~~~~~~~~~~~~~~~~~~
+    at file://<tmpdir>/src/types.ts:33:42
+
 TS2304 [ERROR]: Cannot find name 'IdleDeadline'.
 export function idle(): Reactor<IdleDeadline> {
                                 ~~~~~~~~~~~~
     at file://<tmpdir>/src/utils.ts:55:33
 
-Found 46 errors.
+Found 47 errors.
 

tests/specs/ecosystem/happy_js/happy_opfs/1_0_0.test

@@ -11,5 +11,5 @@ happy-js/happy-opfs/1.0.0
 
 -- stderr --
 error: npm package '@jsr/happy-js__happy-rusty' does not exist.
-    at file://<tmpdir>/src/fs/opfs_core.ts:1:29
+    at file://<tmpdir>/src/fs/opfs_ext.ts:1:29
 

tests/specs/ecosystem/stump/adapter_filesystem/0_0_1.test

@@ -11,5 +11,5 @@ stump/adapter-filesystem/0.0.1
 
 -- stderr --
 error: npm package '@jsr/stump__core' does not exist.
-    at file://<tmpdir>/src/drivers/bun/index.ts:1:36
+    at file://<tmpdir>/src/base.ts:1:62
 

tests/specs/ecosystem/ydcjeff/ruta/0_0_1.test

@@ -192,9 +192,5 @@ TS1170 [ERROR]: A computed property name in a type literal must refer to an expr
   ~~~~~~~~~~~~~~~~
     at file://<tmpdir>/src/ruta_core.ts:91:3
 
-TS2322 [ERROR]: Type 'TChildren[number]' is not assignable to type 'string | number | symbol'.
-  Type 'RouteOptions<string, Record<string, never>, Record<string, never>, {}>' is not assignable to type 'string | number | symbol'.
-    at file://<tmpdir>/src/ruta_core.ts:128:11
-
-Found 10 errors.
+Found 9 errors.
 

tests/specs/graph/fast_check/mapped_type.txt

@@ -0,0 +1,146 @@
+# https://jsr.io/@scope/a/meta.json
+{"versions": { "1.0.0": {} } }
+
+# https://jsr.io/@scope/a/1.0.0_meta.json
+{ "exports": { ".": "./mod.ts" } }
+
+# https://jsr.io/@scope/a/1.0.0/mod.ts
+export type NoTypeAnn = {
+    [value: string];
+};
+type Private1 = string;
+type Private2 = number;
+export type MappedTypeWithNamedType = {
+    [K in T as U & Private1]: Private2;
+};
+export type Partial<T> = {
+    [P in keyof T]?: T[P];
+};
+export type OptionalPlus<T> = {
+    [P in keyof T]+?: T[P];
+};
+export type OptionalMinus<T> = {
+    [P in keyof T]-?: T[P];
+};
+export type Flags<T> = {
+    [P in keyof T]: boolean;
+};
+export type ReadOnly<T> = {
+    readonly [P in keyof T]: T[P];
+};
+export type ReadOnlyPlus<T> = {
+    +readonly [P in keyof T]: T[P];
+};
+export type ReadOnlyMinus<T> = {
+    -readonly [P in keyof T]: T[P];
+};
+
+# mod.ts
+import 'jsr:@scope/a'
+
+# output
+{
+  "roots": [
+    "file:///mod.ts"
+  ],
+  "modules": [
+    {
+      "kind": "esm",
+      "dependencies": [
+        {
+          "specifier": "jsr:@scope/a",
+          "code": {
+            "specifier": "jsr:@scope/a",
+            "span": {
+              "start": {
+                "line": 0,
+                "character": 7
+              },
+              "end": {
+                "line": 0,
+                "character": 21
+              }
+            }
+          }
+        }
+      ],
+      "size": 22,
+      "mediaType": "TypeScript",
+      "specifier": "file:///mod.ts"
+    },
+    {
+      "kind": "esm",
+      "size": 631,
+      "mediaType": "TypeScript",
+      "specifier": "https://jsr.io/@scope/a/1.0.0/mod.ts"
+    }
+  ],
+  "redirects": {
+    "jsr:@scope/a": "https://jsr.io/@scope/a/1.0.0/mod.ts"
+  },
+  "packages": {
+    "@scope/a": "@scope/[email protected]"
+  }
+}
+
+Fast check https://jsr.io/@scope/a/1.0.0/mod.ts:
+  {}
+  export type NoTypeAnn = {
+    [value: string];
+  };
+  type Private1 = string;
+  type Private2 = number;
+  export type MappedTypeWithNamedType = {
+    [K in T as U & Private1]: Private2;
+  };
+  export type Partial<T> = {
+    [P in keyof T]?: T[P];
+  };
+  export type OptionalPlus<T> = {
+    [P in keyof T]+?: T[P];
+  };
+  export type OptionalMinus<T> = {
+    [P in keyof T]-?: T[P];
+  };
+  export type Flags<T> = {
+    [P in keyof T]: boolean;
+  };
+  export type ReadOnly<T> = {
+    readonly [P in keyof T]: T[P];
+  };
+  export type ReadOnlyPlus<T> = {
+    +readonly [P in keyof T]: T[P];
+  };
+  export type ReadOnlyMinus<T> = {
+    -readonly [P in keyof T]: T[P];
+  };
+  --- DTS ---
+  export type NoTypeAnn = {
+    [value: string];
+  };
+  type Private1 = string;
+  type Private2 = number;
+  export type MappedTypeWithNamedType = {
+    [K in T as U & Private1]: Private2;
+  };
+  export type Partial<T> = {
+    [P in keyof T]?: T[P];
+  };
+  export type OptionalPlus<T> = {
+    [P in keyof T]+?: T[P];
+  };
+  export type OptionalMinus<T> = {
+    [P in keyof T]-?: T[P];
+  };
+  export type Flags<T> = {
+    [P in keyof T]: boolean;
+  };
+  export type ReadOnly<T> = {
+    readonly [P in keyof T]: T[P];
+  };
+  export type ReadOnlyPlus<T> = {
+    +readonly [P in keyof T]: T[P];
+  };
+  export type ReadOnlyMinus<T> = {
+    -readonly [P in keyof T]: T[P];
+  };