Function remove_unreachable_tags 

fn remove_unreachable_tags<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    tags: FxHashSet<BorTag>,
)