Comment by jacques_chester

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.