[TheCleric]

I gathered what you meant. My point is what stops the next developer working on your codebase from adding code in the body of your function that accesses the values of the object in an unsafe way?

[eyelidlessness]

A bit of trust. I’m not aware of a type system that protects my coworkers from my bad decisions, only those humans do that.