Structsยง
- Access ๐
- Assignment
Result ๐ - Maybe
Live Places - Place
Index - Place
Set ๐ - Transfer
Function ๐
Enumsยง
- Access
Kind ๐ - Capture
Kind ๐ - 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.