Module lint_tail_expr_drop_order

Source

Structsยง

DestructorLabel ๐Ÿ”’
DropsReachable ๐Ÿ”’
LocalLabel ๐Ÿ”’
TailExprDropOrderLint ๐Ÿ”’

Enumsยง

MovePathIndexAtBlock ๐Ÿ”’
Cache entry of drop at a BasicBlock

Functionsยง

assign_observables_names ๐Ÿ”’
Assign names for anonymous or temporary values for diagnosis
collect_user_names ๐Ÿ”’
Extract binding names if available for diagnosis
place_descendent_of_bids ๐Ÿ”’
Check if a moved place at idx is a part of a BID. The use of this check is that we will consider drops on these as a drop of the overall BID and, thus, we can exclude it from the diagnosis.
place_has_common_prefix ๐Ÿ”’
run_lint ๐Ÿ”’
The core of the lint tail-expr-drop-order