arktype•16mo ago

Record with number as key?

const A = type("Record<number, string>");

const A = type("Record<number, string>");

const A = type("Record<number, string>");

const A = type("Record<number, string>");

This throws error:

Argument of type '"Record<number, string>"' is not assignable to parameter of type '"K must be assignable to string | symbol (was number) "'

Argument of type '"Record<number, string>"' is not assignable to parameter of type '"K must be assignable to string | symbol (was number) "'

Argument of type '"Record<number, string>"' is not assignable to parameter of type '"K must be assignable to string | symbol (was number) "'

Argument of type '"Record<number, string>"' is not assignable to parameter of type '"K must be assignable to string | symbol (was number) "'

But it should be valid:

type A = Record<number, string>;

type A = Record<number, string>;

type A = Record<number, string>;

type A = Record<number, string>;