Определите тип только с одним свойством, и имя этого свойства должно быть в предопределенном наборе имен.

Один из подходов состоит в том, чтобы создать тип ошибки AllowedErrors, который является объединением всех допустимых типов, каждый член которого имеет ровно один из требуемых допустимых ключей и запрещает определенные значения для других ключей. Это будет выглядеть так:

type AllowedErrors = 
  { server: string; client?: never; x?: never; y?: never; z?: never; } | 
  { client: string; server?: never; x?: never; y?: never; z?: never; } | 
  { x: string; server?: never; client?: never; y?: never; z?: never; } | 
  { y: string; server?: never; client?: never; x?: never; z?: never; } | 
  { z: string; server?: never; client?: never; x?: never; y?: never; };

Обратите внимание, что TypeScript явно не поддерживает запрет ключа свойства, но вы можете сделать его необязательным свойством , тип значения которого невозможно никогда не набирать, тогда единственным значением, которое вы можете найти в этом ключе, будет undefined.

Это должно вести себя так, как вы хотите:

const serverErr: AllowedErrors = {
    server: "Error!"
};

const clientErr: AllowedErrors = {
    client: "Error!"
};

const bothErr: AllowedErrors = {
    server: "Error",
    client: "Error"
} // error! Type '{ server: string; client: string; }' 
// is not assignable to type 'AllowedErrors'

const neitherErr: AllowedErrors = {
    oops: "Error"
} // Type '{ oops: string; }' is not assignable 
// to type 'AllowedErrors'.

const okayErr = Math.random() < 0.5 ? { x: "" } : { y: "" };

Ну и замечательно.

Но, очевидно, вы не хотите писать или изменять свой тип AllowedErrors вручную. Вы хотите сгенерировать его из объединения ключей, например

type AllowedErrorKeys = "server" | "client" | "x" | "y" | "z";

Так что вам просто нужно добавить/удалить вещи там. Ну, вот один из подходов:

type SingleKeyValue<K extends PropertyKey, V, KK extends PropertyKey = K> =
    K extends PropertyKey ?
    Record<K, V> & { [P in Exclude<KK, K>]?: never } extends infer O ?
    { [P in keyof O]: O[P] } : never : never;    

Тип SingleKeyValue<K, V> создает соответствующее объединение, в котором каждый член имеет только один разрешенный ключ из K с типом значения V, а остальные ключи из K запрещены.

Во-первых, тип обернут кажущимся неоперативным K extends PropertyKey ? ... : never, который на самом деле является дистрибутивным условным типом, который разбивает K на отдельные члены объединения, работает с каждым членом, а затем объединяет результаты обратно в другое объединение.

Внутренний тип по сути Record<K, V> & { [P in Exclude]?: never }; первая часть с использованием служебного типа Record<K, V> для представления объекта с одним ключом из K и типом значения V, который пересекается с типом, запрещающим все ключи из Exclude<KK, K> с использованием Исключить тип утилиты <T, U> . Подождите, что такое KK? Это параметр «фиктивного» типа, который я объявил во внешней области видимости, который по умолчанию равен K. На самом деле это просто трюк, чтобы K разбивалось на части объединения, а KK являлось копией исходного объединения K, чтобы мы могли выразить «все члены исходного объединения, кроме одного».

В любом случае, это тип, который нам нужен, но он довольно уродлив (пересечение служебных типов), поэтому я использую метод, описанный в Как я могу увидеть полный расширенный контракт типа Typescript? , ... extends infer O ? { [P in keyof O]: O[P] } : never, чтобы скопировать тип в другой параметр типа и выполнить итерацию его свойств с сопоставленным типом, чтобы получить один тип объекта.

И теперь мы можем просто написать

type AllowedErrors = SingleKeyValue<AllowedErrorKeys, string>;

И используйте IntelliSense, чтобы убедиться, что он оценивает

/* type AllowedErrors = 
  { server: string; client?: never; x?: never; y?: never; z?: never; } | 
  { client: string; server?: never; x?: never; y?: never; z?: never; } | 
  { x: string; server?: never; client?: never; y?: never; z?: never; } | 
  { y: string; server?: never; client?: never; x?: never; z?: never; } | 
  { z: string; server?: never; client?: never; x?: never; y?: never; }*/

По желанию.

Площадка ссылка на код