type EmptyObject = { [K in any] : never } const one: EmptyObject = {}; // yes ok const two: EmptyObject = {a: 1}; // error