Named imports should respect Record<string, any> types

TypeScript Version: 3.7.x-dev.201xxxxx

Search Terms: dynamic named imports, commonjs named imports

Code

declare module '*.wasm' {
  type WasmProxy = Record<string, (...args: any[]) => Promise<any>>;
  const wasmProxy: WasmProxy;
  export = wasmProxy;
}

Expected behaviour:

I would expect typescript to allow any named import such as:

import {anything, hello, hola } from './program.wasm';

Since the exported namespace is a Record, where any string is valid.

Actual behavior:

The following code does NOT work:

// Does not work
import {anything, hello, hola } from './program.wasm';

Using the wildcard import works:

// Does work
import * as ns from './program.wasm';
ns.anything;
ns.hello;
ns.hola;

Start with the provided TypeScript reproducer for a wildcard module exporting Record<string, (...args: any[]) => Promise> and compare named-import checking with namespace access. Done means arbitrary named imports such as anything, hello, and hola are accepted for the declared .wasm module while the existing wildcard behavior remains valid.