error[E0277]: the trait bound `OtherState: krator::State` is not satisfied --> $DIR/require_same_object_state.rs:50:32 | LL | Transition::next(self, OtherState) | ---------------- ^^^^^^^^^^ the trait `krator::State` is not implemented for `OtherState` | | | required by a bound introduced by this call | = help: the following implementations were found: > note: required by a bound in `Transition::::next` --> $SRC_DIR/src/state.rs:43:33 | LL | pub fn next, O: State>(_i: Box, o: O) -> Transition | ^^^^^^^^ required by this bound in `Transition::::next` error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.