!4#3114

Stream: PR reviews

[Scott Morrison]

This is the missing tactic frontend for slim_check. @Daniel Patterson has indicated he would like to use this tactic in front of a class in not too long, so it would be nice if it can be merged soon. Hopefully it is straightforward as a meta reviews go.