type Foo = { foo: string, bar?: string };
type X<T> = { [K in keyof T]: any };
type FooX = { [K in keyof Foo]: any };

const a: X<Foo> = { foo: "foo" };  // passed
const b: FooX = { foo: "foo" };  //  failed: property 'bar' is missing