Diagnostics

Every WeaveC diagnostic ends with a stable identifier such as [weavec::use-after-free]. Open an entry for its exact meaning, conditions, and resolution guidance.

Diagnostic	Default severity
checking-incomplete	error
checking-failed	error
use-after-free	error
double-free	error
use-after-move	error
conflicting-borrow	error
lifetime-too-short	error
unsafe-operation	error
mismatched-release	error
leak	warning
null-dereference	error
use-of-uninitialized	error
invalid-release	error
out-of-bounds	error
invalid-integer-operation	error
analysis-incomplete	warning
annotation-mismatch	error
annotation-required	warning
invalid-annotation	warning

Start with the first diagnostic and follow its source notes. A failed checked obligation remains a failure even if its ordinary diagnostic is lowered to a warning. See diagnostic controls.