Closed proofit404 closed 1 year ago
class A1State(State): v1 = Argument(is_integer) class A2State(State): v1 = Argument(is_float) NewState = A1State & A2State
The v1 argument in the NewState would fail on assignment. It can't be integer and float at the same time.
v1
NewState
Superseded by #722
The
v1
argument in theNewState
would fail on assignment. It can't be integer and float at the same time.Checks: