Type assertions using Exact, Subset, Superset

I have suffered several times with the limitations of casting like so:

res.json(<Foo>{foo:'bar'});

the above cast/assertion will work even if the anonymous object does not have all the fields in type Foo.
For example, this question I had: https://stackoverflow.com/questions/53328459/prevent-compilation-unless-all-fields-exist

This feature request is for something like this:

res.json(Exact<Foo>{foo:'bar'});
res.json(Subset<Foo>{foo:'bar'});
res.json(Superset<Foo>{foo:'bar'});

note this is similar to the existing construct Partial, as in Partial<T>, hopefully the above are self-explanatory. I am not sure if both Subset<> and Superset<> make sense, but one of them should.

Beginnen Sie mit der Überprüfung der vorgeschlagenen Syntax für Exact-, Subset- und Superset-Typzusicherungen und vergleichen Sie sie mit dem bestehenden Partial-Konstrukt. Legen Sie fest, welche Semantik erforderlich ist, einschließlich der Frage, ob sowohl Subset als auch Superset benötigt werden; das Issue nennt keine Dateien, Tests oder Einstiegspunkte, daher würde der Abschluss voraussetzen, das Design und seine Validierungskriterien festzulegen.