continue tactic block after failure?

Stream: general

[Scott Morrison]

Is there any way that I can get a tactic to show an error message and a red squiggle, but under the hood admit the current goal, and let the remainder of the tactic block proceed?

[Scott Morrison]

I guess the question is how to simulate an error.

[Scott Morrison]

I just need trace but with a red squiggle!