Source:browser/highlight-tags.js, line 72See:https://www.typescriptlang.org/docs/handbook/utility-types.html#extracttu