Conditionally add node/DOM types to StructuredCloneable

[thecodewarrior]

While investigating #899, I discovered a solution that lets us only include DOM/Node types if they actually exist. Based on this code from the node type declarations, I came up with this solution:

/** Grab the specified type from its corresponding global constructor, if it's declared */
type ExtractFromGlobalConstructor<Name extends string> =
	typeof globalThis extends Record<Name, new (...args: any[]) => infer T> ? T : never

This only works with types that have a public constructor in globalThis, but Blob, File, and all the DOM types appear to have constructors and work like this. In order to verify that all the DOM types have public constructors I added @webgpu/types, @types/dom-webcodecs, and @types/webxr, which got me most of the types I was missing, then I created this file to manually check them:

type DOMKeys =
	| 'AudioData'
	| 'CropTarget'
	| 'CryptoKey'
	| 'DOMException'
	| 'DOMMatrix'
	| 'DOMMatrixReadOnly'
	| 'DOMPoint'
	| 'DOMPointReadOnly'
	| 'DOMQuad'
	| 'DOMRect'
	| 'DOMRectReadOnly'
	| 'FileList'
	| 'FileSystemDirectoryHandle'
	| 'FileSystemFileHandle'
	| 'FileSystemHandle'
	| 'GPUCompilationInfo'
	| 'GPUCompilationMessage'
	| 'ImageBitmap'
	| 'ImageData'
	| 'RTCCertificate'
	| 'VideoFrame'

/**
- `Name` = found global with valid constructor
- `~Name` = found global, but no constructor found
- `!Name` = global not found
*/
type FindGlobals<Name extends string> =
	Name extends string
		? typeof globalThis extends Record<Name, new (...args: any[]) => any> ? Name
			: typeof globalThis extends Record<Name, any> ? `~${Name}`
				: `!${Name}`
		: never;

import "@webgpu/types"

const found: FindGlobals<DOMKeys>[] = [
	'AudioData',
	'!CropTarget', // no typescript declarations exist for this yet
	'CryptoKey',
	'DOMException',
	'DOMMatrix',
	'DOMMatrixReadOnly',
	'DOMPoint',
	'DOMPointReadOnly',
	'DOMQuad',
	'DOMRect',
	'DOMRectReadOnly',
	'FileList',
	'FileSystemDirectoryHandle',
	'FileSystemFileHandle',
	'FileSystemHandle',
	'GPUCompilationInfo',
	'GPUCompilationMessage',
	'ImageBitmap',
	'ImageData',
	'RTCCertificate',
	'VideoFrame',
]

Fixes #899

[voxpelli]

Created a related PR, #912, that makes the type checks properly fail for the current scenario.

Would be good to get work on that in tandem with this.

I also think we should find a model where we test the types in contexts where eg. both the dom lib and @types/node is available, to ensure it works as expected in all supported context

[sindresorhus]

I recommend opening a TypeScript issue about this limitation.

[thecodewarrior]

The odd behavior itself is correct (microsoft/TypeScript#39504), so there's nothing to be done on that front. In terms of avoiding this hack in the first place, there's already an issue regarding that: microsoft/TypeScript#31894

[sindresorhus]

Thanks for contributing 🙏