Structsยง
- Destructor
Label ๐ - Drops
Reachable ๐ - Local
Label ๐ - Tail
Expr ๐Drop Order Lint
Enumsยง
- Move
Path ๐Index AtBlock - Cache entry of
drop
at aBasicBlock
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