Typescript Record like type, but implicit value

Is it possible to tell typescript I don't want to set value type, so it can deduce it later based on scenario, but in the meantime I want to restrict keys?

My approach was to use Record, cause it was really close to reach my goal, but what I really want to do is something like this:

type Lang = 'pl' | 'en';
type AllRoutes = Record<Lang, [implicit type]> // would be awesome to do something like this

// some const strings
const plRoutes = {...};
const enRoutes = {...};
export const allRoutes: AllRoutes  = {
  en: enRoutes,
  pl: plRoutes,
};

When I don't add AllRotues type to allRoutes then typescript knows value types very nicely, but i can add as many keys as I want. I should be restricted

Update

type Lang = 'pl' | 'en';
// some const strings
const plRoutes = {...};
const enRoutes = {...};
type AllRoutes = Record<Lang, typeof plRoutes | typeof enRoutes> 


export const allRoutes: AllRoutes  = {
  en: enRoutes,
  pl: plRoutes,
};

The above would work, but I was hoping for nicer solution where we are not forced to write typeof xRoute | zRoute.... It would be pitifull on multiple language.

Solution 1:

You could be using generics :

type Lang = 'pl' | 'en';
type AllRoutes<V> = Record<Lang, V>

// some const strings
const plRoutes = { a: 'a', b: 3 };
const enRoutes = { c: {} };
export const allRoutes: AllRoutes<typeof plRoutes | typeof enRoutes> = {
    en: enRoutes,
    pl: plRoutes,
};

or if you have a common interface

interface language { a: string, b: number };

const plRoutes: language = { a: 'a', b: 1 };
const enRoutes: language = { a: 'b', b: 2 };
export const allRoutes: AllRoutes<language> = {
    en: enRoutes,
    pl: plRoutes,
};

Playground