挨拶文言を定義する型があったとします。
type Greet = 'hello' | 'goodbye';
const greet: Greet = 'hello';
文言には hello と goodbye がよく使われるものの、これだけに固定される必要はなく、話者が好きな言葉を使用して良いものとします。
type Greet = 'hello' | 'goodbye' | string;
const greet: Greet = 'welcome back';
こうすると結局 Greet はただの文字列型ですね。つまり以下のように書くのと同じです。
type Greet = string;
しかし、実際によく使われるのは hello と goodbye なので、理想的には VS Code で入力するときに hello と goodbye の入力補完が表示されると嬉しいですよね。
ということで、型としては単純な string 型のままだけど、入力補完が表示されると嬉しい、という贅沢な悩みに答える方法が以下です。
type Greet = 'hello' | 'goodbye' | (string & {});
const greet: Greet = 'welcome back';
{} は undefined と null 以外のすべての型と一致するため、実質的に any のようなものです。
そのため string & {} は結局 string 型と同じことなのですが、入力補完が働いてくれます。
このハックは React の型定義を見ていたときに知りました。