keyof T should never print as a union of strings

未提及任何仓库文件或测试路径。使用提供的代码片段和 TypeScript 3.6.2 重现该问题，然后跟踪声明生成和类型打印，以确定泛型约束在哪里被展开。完成的标准是：生成的声明保留 K 为扩展 keyof HTMLElementEventMap，而不是打印事件名称的联合类型。

TypeScript Version: 3.6.2

Search Terms: extends keyof generic

Code

export const bindEvent = <Node extends HTMLElement | HTMLDocument,
	K extends keyof HTMLElementEventMap>(
	node: Node,
	type: K,
	callback: (event: HTMLElementEventMap[K]) => unknown,
) => {
	node.addEventListener(type, callback as EventListener);

	return () => {
		node.removeEventListener(type, callback as EventListener);
	};
};

tsc

Expected behavior:
The generic K to still be extends keyof, instead of spreading the type out.

Actual behavior:
types generated:

export declare const bindEvent: <Node_1 extends HTMLElement | HTMLDocument, K extends "fullscreenchange" | "fullscreenerror" | "abort" | "animationcancel" | "animationend" | "animationiteration" | "animationstart" | "auxclick" | "blur" | "cancel" | "canplay" | "canplaythrough" | "change" | "click" | "close" | "contextmenu" | "cuechange" | "dblclick" | "drag" | "dragend" | "dragenter" | "dragexit" | "dragleave" | "dragover" | "dragstart" | "drop" | "durationchange" | "emptied" | "ended" | "error" | "focus" | "focusin" | "focusout" | "gotpointercapture" | "input" | "invalid" | "keydown" | "keypress" | "keyup" | "load" | "loadeddata" | "loadedmetadata" | "loadend" | "loadstart" | "lostpointercapture" | "mousedown" | "mouseenter" | "mouseleave" | "mousemove" | "mouseout" | "mouseover" | "mouseup" | "pause" | "play" | "playing" | "pointercancel" | "pointerdown" | "pointerenter" | "pointerleave" | "pointermove" | "pointerout" | "pointerover" | "pointerup" | "progress" | "ratechange" | "reset" | "resize" | "scroll" | "securitypolicyviolation" | "seeked" | "seeking" | "select" | "selectionchange" | "selectstart" | "stalled" | "submit" | "suspend" | "timeupdate" | "toggle" | "touchcancel" | "touchend" | "touchmove" | "touchstart" | "transitioncancel" | "transitionend" | "transitionrun" | "transitionstart" | "volumechange" | "waiting" | "wheel" | "copy" | "cut" | "paste">(node: Node_1, type: K, callback: (event: HTMLElementEventMap[K]) => unknown) => () => void;