Module liveness

Module liveness 

Source

Structsยง

Access ๐Ÿ”’
AssignmentResult ๐Ÿ”’
MaybeLivePlaces
PlaceIndex
PlaceSet ๐Ÿ”’
TransferFunction ๐Ÿ”’

Enumsยง

AccessKind ๐Ÿ”’
CaptureKind ๐Ÿ”’
DefUse ๐Ÿ”’

Functionsยง

annotate_mut_binding_to_immutable_binding ๐Ÿ”’
Detect the following case
check_liveness ๐Ÿ”’
find_self_assignments ๐Ÿ”’
Compute self-assignments of the form a += b.
is_capture ๐Ÿ”’
Small helper to make semantics easier to read.
is_indirect ๐Ÿ”’
maybe_drop_guard ๐Ÿ”’
Return whether we should consider the current place as a drop guard and skip reporting.
maybe_suggest_literal_matching_name ๐Ÿ”’
Give a diagnostic when any of the string constants look like a naked format string that would interpolate our dead local.
maybe_suggest_unit_pattern_typo ๐Ÿ”’
Give a diagnostic when an unused variable may be a typo of a unit variant or a struct.