type Foo = { x: number; }; function g(): Foo { return {}; // Fails type-check // Property \'x\' is missing in type \'{}\' but required in type \'Foo\'. } fu