字符串与typescript中与空对象相交的字符串之间的区别是什么

Question

背景

我注意到了脉轮UI使用此类型：

type ColorScheme=（string&{}）|“whiteAlpha”|“blackAlpha“|”gray“|”red“|“orange”|”yellow“|”green“|”teal“|”blue“|”cyan“|”purple“|”pink“|”linkedin“|”facebook“|”messenger“|”whatsapp“|

我最初的想法是也许（字符串&{}）根据我的观察，诱使自动完成工作似乎是正确的：

//具有自动完成功能type Test=（string&{}）|“blue”；让x:Test=“蓝色”//没有自动完成功能type Test2=字符串|“blue”；让y:Test2=“蓝色”

游乐场链接

问题

为什么世界上一串和（字符串&{}）? 据我所知{}type表示除null |未定义所以字符串是它的子集，根据定义，如果A⊂B类然后AáB=A正确的？也许我疯了，但这种行为看起来真的很奇怪。谢谢！