pub fn track_body_diagnostics(def_id: LocalDefId)
Expand description

Initialize the error tracking for a given routine. It’s recommended to call this on start of every new analysis. In Aquascope, this would be per-body analyzed.