Expand description
This pass replaces a drop of a type that does not need dropping, with a goto.
When the MIR is built, we check needs_drop before emitting a Drop for a place. This pass is
useful because (unlike MIR building) it runs after type checking, so it can make use of
TypingMode::PostAnalysis to provide more precise type information, especially about opaque
types.
Re-exports§
use rustc_middle::ty::TyCtxt;🔒use tracing::debug;🔒use tracing::trace;🔒use super::simplify::simplify_cfg;🔒use crate::PassPolicy;🔒use rustc_middle::mir::*;🔒