Module lint 

This pass statically detects code which has undefined behaviour or is likely to be erroneous. It can be used to locate problems in MIR building or optimizations. It assumes that all code can be executed, so it has false positives.

Structs

Lint 🔒

Functions

lint_body 🔒

places_conflict_for_assignment 🔒

Checks whether reading src while assigning to dest would violate MIR’s non-overlap requirement for assignments.