ソースbrowser/highlight-tags.js、72行目参照https://typescript.dokyumento.jp/docs/handbook/utility-types.html#extracttu