I feel like this is a usecase we should keep in mind, at least - given a value of type
pointer to T, you need to be able to access fields on the object, even if the object is uninitialized.
@Nicole Mazzuca definitely. please bring this up for discussion once we are talking about validity invariants :)
@RalfJ yeah, just wanna make sure it's in the chat somewhere so I remember