Как вывести тип с исключением значений?

Question

[Андрей Воронцов]

Можно сделать тип с литералами строки
type myKey = 'line' | 'abzac' | 'text'
myKey будет принимать одно из трех заданных значений
А как сделать тип принимающий любое строковое значение кроме указанных трех?
Пытался сделать так

type myKey = 'line' | 'abzac' | 'text'

type IEX = {
 [key: string]: string
}

type antiKey = Exclude<IEX, myKey>;

let znac: antiKey = {
	anystring: 'stroka',
	line: 'online',
	text: 'abcdef'
}

но это не работает...

Comments

[WbICHA]

https://www.typescriptlang.org/play?#code/C4TwDgpg...

type Keys = 'line' | 'abzac' | 'text'

type IEX = Record<string, string>

type AntiKey = IEX & Record<Keys, never>


let znac: AntiKey = {
  anystring: 'stroka',
  line: 'online',
  text: 'abcdef'
}

[Андрей Воронцов]

WbICHA, Вау, здорово!
Я уж думал это невозможно в TS. Оформите ответом - отмечу решение.
Только пришлось добавить Partial, иначе AntiKey не получается сделать валидным.

type Keys = 'line' | 'abzac' | 'text'

type IEX = Record<string, string>

type AntiKey = IEX & Partial<Record<Keys, never>>

// валидное значение
let znac: AntiKey = {
  oneline: 'anytext',
  otherline: 'othertext'
}
// невалидное
let er: AntiKey = {
  text: 'no',
  other: 'txt'
}

[WbICHA]

Андрей Воронцов, про Партиал верное замечание.

Answer 1

[WbICHA]

type Keys = 'line' | 'abzac' | 'text'

type IEX = Record<string, string>

type AntiKey = IEX & Partial<Record<Keys, never>>
// or
type AntiKey = IEX & { [Key in Keys]?: never }

// валидное значение
let znac: AntiKey = {
  oneline: 'anytext',
  otherline: 'othertext'
}
// невалидное
let er: AntiKey = {
  text: 'no',
  other: 'txt'
}