stdout=

stderr=
[src/analyze_hir/mod.rs:47:13] &unsafe_calls = [
    Call {
        hir_id: HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).5),
        def_id: DefId(20:6 ~ unsafe_calls[d41f]::tag_unsafe_fn),
    },
]
[src/analyze_hir/visit.rs:36:9] &tags_state = {
    Property {
        property: "Tag",
    }: false,
}
hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).5) fn_hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).0)
hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).4) fn_hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).0)
hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).3) fn_hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).0)
hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).2) fn_hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).0)
hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).1) fn_hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).0)
hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).8) fn_hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).0)
hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).0) fn_hir_id=HirId(DefId(0:4 ~ unsafe_calls_panic_with_dep[6c1a]::use_tag_unsafe_fn).0)
[src/analyze_hir/visit.rs:104:5] &src_body = "fn use_tag_unsafe_fn() {\n    unsafe { unsafe_calls::tag_unsafe_fn() }\n}"
[1m[91merror[0m: [1m`Tag` is not discharged[0m
  [1m[94m-->[0m ./tests/snippets/unsafe_calls_panic_with_dep.rs:9:14
   [1m[94m|[0m
[1m[94m 8 |[0m fn use_tag_unsafe_fn() {
[1m[94m 9 |[0m     unsafe { unsafe_calls::tag_unsafe_fn() }
   [1m[94m|[0m              [1m[91m^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m [1m[91mFor this unsafe call.[0m
[1m[94m10 |[0m }
   [1m[94m|[0m
