Open HolgerJeromin opened 3 months ago
document.body.remove() tooltip points to
document.body.remove()
interface ChildNode extends Node { /** * Removes node. * * [MDN Reference](https://developer.mozilla.org/docs/Web/API/CharacterData/remove) */ remove(): void; }
But should point to https://developer.mozilla.org/en-US/docs/Web/API/Element/remove
https://github.com/microsoft/TypeScript-DOM-lib-generator/blob/6621974de7d3d03ade59760ea4b1cdb12698f492/baselines/dom.generated.d.ts#L5644-L5675
This looks like a bug in the emitter.
document.body.remove()
tooltip points toBut should point to https://developer.mozilla.org/en-US/docs/Web/API/Element/remove
https://github.com/microsoft/TypeScript-DOM-lib-generator/blob/6621974de7d3d03ade59760ea4b1cdb12698f492/baselines/dom.generated.d.ts#L5644-L5675
This looks like a bug in the emitter.