type of dynamic url imports nested in a dynamic import always resolves to any

[scarf005]

Summary

type of dynamic imports from URL like import("https://<url>").Member are always any.

Reproduction

// @deno-types="https://esm.sh/v131/@octokit/[email protected]/dist-types/index.d.ts"
import { Octokit } from "https://esm.sh/@octokit/[email protected]"
import type { AssertFalse, IsAny } from "https://deno.land/[email protected]/testing/types.ts"

type _ = AssertFalse<IsAny<Octokit>>

(adding @deno-types makes no differences)

 ~/r/d/test  deno check main.ts     2023년 08월 27일 (일) 오전 12시 25분 43초
Check file:///home/scarf/repo/deno-packages/test/main.ts
error: TS2344 [ERROR]: Type 'true' does not satisfy the constraint 'false'.
type _ = AssertFalse<IsAny<Octokit>>
                     ~~~~~~~~~~~~~~
    at file:///home/scarf/repo/deno-packages/test/main.ts:5:22

this does not seem to be a esm.sh problem as manually converting dynamic imports to import statement works:

// typechecks
import { Constructor } from "https://esm.sh/v131/@octokit/[email protected]/dist-types/types.d.ts"
import { PaginateInterface } from "https://esm.sh/v131/@octokit/[email protected]/dist-types/index.d.ts"
import { RestEndpointMethods } from "https://esm.sh/v131/@octokit/[email protected]/dist-types/generated/method-types.d.ts"
import { Api } from "https://esm.sh/v131/@octokit/[email protected]/dist-types/types.d.ts"

import { Octokit as Core } from "https://esm.sh/v131/@octokit/[email protected]/dist-types/index.d.ts"
export type { RestEndpointMethodTypes } from "https://esm.sh/v131/@octokit/[email protected]/dist-types/index.d.ts"
export declare const Octokit:
	& typeof Core
	& Constructor<{ paginate: PaginateInterface } & RestEndpointMethods & Api>
export type Octokit = InstanceType<typeof Octokit>

import type { AssertFalse, IsAny } from "https://deno.land/[email protected]/testing/types.ts"

type _ = AssertFalse<IsAny<Octokit>>

npm: works:

// typechecks
import { Octokit } from "npm:@octokit/[email protected]"
import type { AssertFalse, IsAny } from "https://deno.land/[email protected]/testing/types.ts"

type _ = AssertFalse<IsAny<Octokit>>

[dsherret]

Looks like the swc module analysis has a bug on that file. It's missing paginate:

{
  "dependencies": [
    {
      "kind": "import",
      "range": {
        "start": { "line": 0, "character": 0 },
        "end": { "line": 0, "character": 96 }
      },
      "specifier": "https://esm.sh/v131/@octokit/[email protected]/dist-types/index.d.ts",
      "specifierRange": {
        "start": { "line": 0, "character": 32 },
        "end": { "line": 0, "character": 95 }
      }
    },
    {
      "kind": "exportType",
      "range": {
        "start": { "line": 1, "character": 0 },
        "end": { "line": 1, "character": 133 }
      },
      "specifier": "https://esm.sh/v131/@octokit/[email protected]/dist-types/index.d.ts",
      "specifierRange": {
        "start": { "line": 1, "character": 45 },
        "end": { "line": 1, "character": 132 }
      }
    },
    {
      "kind": "importType",
      "range": {
        "start": { "line": 2, "character": 44 },
        "end": { "line": 4, "character": 239 }
      },
      "specifier": "https://esm.sh/v131/@octokit/[email protected]/dist-types/types.d.ts",
      "specifierRange": {
        "start": { "line": 2, "character": 51 },
        "end": { "line": 2, "character": 114 }
      }
    }
  ]
}

[dsherret]

I opened swc-project/swc#7883