[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:

Start by reproducing the issue's TypeScript code with the reported 3.4.0-dev version and a current compiler, then investigate mapped types using keyof on an enum. Done means the compiler behavior matches the issue's requested diagnostic or the expected behavior is clarified by the existing type-checking rules.