Limit StateOpaque `downcasting` only to States designed from the same machine.
Kelerchian opened this issue · comments
At current, a MachineRunner's state from one machine type is allowed to be downcast to a typed state from another machine type. These casts are always unreachable and always bugs. Limit casting only to states from the machine type to catch bugs early.