/** Should be updated from:
 * https://typescript.tv/errors
 * Just run this in the console:
 * ```javascript
 * $$('h2')
 * .filter(node => node.textContent.match(/TS[0-9]{1,5}/))
 * .map(node => Number(node.textContent.match(/TS([0-9]+)/)[1]))
 * ```
 */
export declare const KNOWN_ERROR_NUMBERS: Set<string | number | undefined>;