文字列リテラル型かどうかの判定

Conditional Typesを使ってある型Sが文字列リテラル型かどうかを判定する。

code:ts

type IsStringLiteralType<S extends string> = string extends S ? false : true

// examples

type T1 = IsStringLiteralType<'a'> // true

type T2 = IsStringLiteralType<'x' | 'y'> // true

type T3 = IsStringLiteralType<string> // false