stdout=

stderr=
[1m[91merror[0m: [1mTags are not discharged: `SP1`, or `SP2`[0m
 [1m[94m-->[0m ./tests/snippets/any_err.rs:7:14
  [1m[94m|[0m
[1m[94m7 |[0m     unsafe { call() };
  [1m[94m|[0m              [1m[91m^^^^[0m [1m[91mFor this unsafe call.[0m
  [1m[94m|[0m

[1m[31mTotal counts of diagnostics from safety-tool: {MissingDischarges: 1}[0m

