源代码browser/highlight-tags.js, 第 57 行参见https://typescript.net.cn/docs/handbook/utility-types.html#picktk