[k in keyof EnumA] should show error

TypeScript Version: 3.4.0-dev.201xxxxx

Search Terms:

Code

export const enum EnumA
{
	a,
	b,
}

export type Interface = {
	[k in keyof EnumA]: (a: number, b: string) => void
	// here should show error or a warn message, because it is enum
}

let a: Interface = {
	a(a, b)
	{
		console.log(a.toFixed(), b.blink());
	},
	b(a, b)
	{
		console.log(a.toFixed(), b.blink());
	},
}

Expected behavior:

error or a warn message, and tell use [k in keyof typeof EnumA]

Actual behavior:

no error

Playground Link:

Related Issues:

Inizia riproducendo il codice TypeScript dell'issue con la versione 3.4.0-dev indicata e un compilatore attuale, quindi analizza i mapped types che usano keyof su un enum. Il lavoro è completato quando il comportamento del compilatore corrisponde alla diagnostica richiesta dall'issue oppure il comportamento previsto è chiarito dalle regole esistenti di controllo dei tipi.