fn replace_base<'tcx>(
    place: &mut Place<'tcx>,
    new_base: Place<'tcx>,
    tcx: TyCtxt<'tcx>
)