Refactor: move some methods of `Spec` to new traits#78

Merged

haraldmaida merged 3 commits intomainfrom

refactor/make-traits-for-methods-on-spec-used-by-assertion-implementations

Mar 1, 2026

Commits on Mar 1, 2026

refactor: move method `Spec::soft_panic` into new trait `SoftPanic` and implement the trait for `Spec`
haraldmaida
committed
refactor: move methods to access assertion failures from `Spec` to the new trait `GetFailure` and implement the trait for `Spec`
haraldmaida
committed
refactor: move method `do_fail_with_message` to the new trait `DoFail` and implement the trait for `Spec`
haraldmaida
committed