Module lint_tail_expr_drop_order 

Re-exports

use std::cell::RefCell; 🔒

use std::collections::hash_map; 🔒

use std::rc::Rc; 🔒

use itertools::Itertools as _; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_data_structures::unord::UnordMap; 🔒

use rustc_data_structures::unord::UnordSet; 🔒

use rustc_errors::formatting::DiagMessageAddArg; 🔒

use rustc_errors::Subdiagnostic; 🔒

use rustc_errors::msg; 🔒

use rustc_hir::CRATE_HIR_ID; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_index::bit_set::MixedBitSet; 🔒

use rustc_index::IndexSlice; 🔒

use rustc_index::IndexVec; 🔒

use rustc_lint_defs::LintId; 🔒

use rustc_lint_defs::builtin::TAIL_EXPR_DROP_ORDER; 🔒

use rustc_macros::Diagnostic; 🔒

use rustc_macros::Subdiagnostic; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::ClearCrossCrate; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::MirDumper; 🔒

use rustc_middle::mir::Place; 🔒

use rustc_middle::mir::StatementKind; 🔒

use rustc_middle::mir::TerminatorKind; 🔒

use rustc_middle::ty::significant_drop_order::extract_component_with_significant_dtor; 🔒

use rustc_middle::ty::significant_drop_order::ty_dtor_span; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_mir_dataflow::impls::MaybeInitializedPlaces; 🔒

use rustc_mir_dataflow::move_paths::LookupResult; 🔒

use rustc_mir_dataflow::move_paths::MoveData; 🔒

use rustc_mir_dataflow::move_paths::MovePathIndex; 🔒

use rustc_mir_dataflow::Analysis; 🔒

use rustc_mir_dataflow::MaybeReachable; 🔒

use rustc_mir_dataflow::ResultsCursor; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::Span; 🔒

use rustc_span::Symbol; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

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