Commit 2023-03-16 04:34 44140f65
View on Github →feat: port success_if_fail_with_msg (#2204)
With all these tactics getting ported, it'll be useful to have this tactic combinator to let us write tests which make sure that our new tactics fail in the ways they're supposed to.