Lint rules
Each rule’s reference page is generated from the rule’s own metadata by running
the linter on worked examples. Regenerate with cargo run --example docgen.
Correctness
undefined-symbolunused-bindingduplicate-formalduplicated-argumentsequals-navector-logicunreachable-code