pub fn drop_flag_effects_for_location<'tcx, F>(
    body: &Body<'tcx>,
    ctxt: &MoveDataParamEnv<'tcx>,
    loc: Location,
    callback: F
)