REFERENCE
checking-failed
Default severity: error · Identifier: weavec::checking-failed
What it means
Section titled “What it means”A selected function contains a demonstrated violation: checked safety failed: <reason>.
How to resolve it
Section titled “How to resolve it”Fix the demonstrated violation at the reported source location, then rerun the same checked command. Follow the report’s notes to the allocation, release, or condition responsible. A severity override does not discharge the obligation.