Function rustc_borrowck::type_check::liveness::polonius::add_drop_of_var_derefs_origin
source · pub(super) fn add_drop_of_var_derefs_origin<'tcx>(
typeck: &mut TypeChecker<'_, 'tcx>,
local: Local,
kind: &GenericArg<'tcx>
)
Expand description
For every potentially drop()-touched region region
in local
’s type
(kind
), emit a Polonius use_of_var_derefs_origin(local, origin)
fact.