A possible match would be the Typestate aka Type State pattern.
For some reason I only see Rustaceans talking about it, though it's perfectly applicable in any language with static typing.
For some reason I only see Rustaceans talking about it, though it's perfectly applicable in any language with static typing.
And then of course Rust people care about correctness more in general.