Investigate: can I make foo.get('bar') a TS assertion that bar exists?

[a-type]

For:

if (foo.get("bar")) {
  x = foo.get("bar") + 1; // ts error... it can't be sure the return is still truthy
}

[a-type]

Nah, TS won't do it with that syntax.

But maybe I could define them as readonly properties? I mean, I'm already generating types for everything, right? And there's a schema which would inform the entity at instantiation which properties to define on itself.

This wouldn't work for any type fields.