Я пытаюсь создать требуемый параметр объекта в зависимости от того, на какой путь вы ориентируетесь в объекте

 type Split<S extends string, D extends string> =
    string extends S ? string[] :
    S extends '' ? [] :
    S extends `${infer T}${D}${infer U}` ? [T, ...Split<U, D>] :
    [S];

type PropType<T, Path extends string> =
    string extends Path ? unknown :
    Path extends keyof T ? T[Path] :
    Path extends `${infer K}.${infer R}` ? K extends keyof T ? PropType<T[K], R> : unknown :
    unknown; 

type ParseMustaches_<T extends string> = 
  T extends `${infer U}{{${infer V}}}${infer W}` 
    ? Record<V, string> 
    : never

type ParseMustaches<T extends string[]> = ParseMustaches_<T[number]>;

type Prop<T, K extends keyof T> = T[K];

declare function translate<T extends { [L in K]: string }, K extends string>(obj: T, path: K, placeholders: ParseMustaches<Split<T[K], " ">>): void;

const obj = {
  "title": "Welcome to {{sitename}}, {{user}}",
  "button": {
    "text": "Click here to go to {{location}}",
    "num": 5
  }
} as const;

translate(obj, "title", { sitename: "", user: "" }) // works
translate(obj, "button.text", { }) // does not work
  

Кажется, это работает для свойств верхнего уровня, но вложенные свойства терпят неудачу, как я могу это исправить?
ссылка на игровую площадку

Проблема заключается в той части, где вы сказали T extends { [L in K]: string } , поскольку K здесь вообще не ключ, а путь. Итак, вам нужно немного поработать, чтобы ваше волшебство произошло.

 type Split<S extends string, D extends string> =
  string extends S ? string[] :
  S extends '' ? [] :
  S extends `${infer T}${D}${infer U}` ? [T, ...Split<U, D>] :
  [S];

type PropType<T, Path extends string> =
  string extends Path ? unknown :
  Path extends keyof T ? T[Path] :
  Path extends `${infer K}.${infer R}` ? K extends keyof T ? PropType<T[K], R> : unknown :
  unknown;

type ParseMustaches_<T extends string> =
  T extends `${infer U}{{${infer V}}}${infer W}`
  ? Record<V, string>
  : never

type ParseMustaches<T extends string[]> = ParseMustaches_<T[number]>;

// You need to this utility type
type TypeOnPath<Path extends string, T> =
  string extends Path ? unknown :
  Path extends `${infer K}.${infer R}` ? { [k in K]: TypeOnPath<R, T> } :
  { [k in Path]: T };

declare function translate<K extends string, T extends TypeOnPath<K, string>>
  (obj: T, path: K, placeholders: ParseMustaches<Split<PropType<T, K> amp; string, " ">>): void;

const obj = {
  "title": "Welcome to {{sitename}}, {{user}}",
  "button": {
    "text": "Click here to go to {{location}}",
    "num": 5
  }
} as const;

translate(obj, "title", { sitename: "", user: "" })
translate(obj, "button.text", {}) // now we have an error saying that 'location' is missing
translate(obj, "button.num", {}) // correctly report error saying 'button.num' is not a string
  

Смотрите эту ссылку на игровую площадку

Обновить

Чтобы получить желаемое поведение, упомянутое в комментарии, вы можете изменить Split :

 // Remove constraint on S so that it takes any input type
type Split<S, D extends string> =
  S extends string ? (
    string extends S ? string[] :
    S extends '' ? [] :
    S extends `${infer T}${D}${infer U}` ? [T, ...Split<U, D>] :
    [S]
  ) : never;

type PropType<T, Path extends string> =
  string extends Path ? unknown :
  Path extends keyof T ? T[Path] :
  Path extends `${infer K}.${infer R}` ? K extends keyof T ? PropType<T[K], R> : unknown :
  unknown;

type ParseMustaches_<T extends string> =
  T extends `${infer U}{{${infer V}}}${infer W}`
  ? Record<V, string>
  : never

type ParseMustaches<T extends string[]> = ParseMustaches_<T[number]>;

type TypeOnPath<Path extends string, T> =
  string extends Path ? unknown :
  Path extends `${infer K}.${infer R}` ? { [k in K]: TypeOnPath<R, T> } :
  { [k in Path]: T };

// This time we use TypeOnPath<K, any>
declare function translate<K extends string, T extends TypeOnPath<K, any>>
  (obj: T, path: K, placeholders: ParseMustaches<Split<PropType<T, K>, " ">>): void;

const obj = {
  "title": "Welcome to {{sitename}}, {{user}}",
  "button": {
    "text": "Click here to go to {{location}}",
    "num": 5
  }
} as const;

translate(obj, "title", { sitename: "", user: "" })
translate(obj, "button.text", {}) // now we have an error saying that 'location' is missing
translate(obj, "button.num", {}) // error with never
  

Смотрите эту ссылку на игровую площадку