You are an expert in writing code in many different languages. Your goal is to perform code completion for the following code, keeping in mind the rest of the code and the file meta data.
    Metadata details:
    filename: frozen_locals.rs
    path of file: ./repos/creusot/creusot/src/analysis
    
    the code of the file until where you have to start completion: use std::{fmt, rc::Rc};

use dataflow::fmt::DebugWithContext;
use rustc_borrowck::{
    borrow_set::BorrowSet,
    consumers::{BorrowIndex, PlaceConflictBias, PlaceExt},
};
use rustc_data_structures::fx::FxIndexMap;
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at https://mozilla.org/MPL/2.0/.
//
use rustc_index::bit_set::BitSet;
use rustc_middle::{
    mir::{self, Body, CallReturnPlaces, Location, Place, TerminatorEdges},
    ty::TyCtxt,
};
use rustc_mir_dataflow::{self as dataflow, GenKill};

pub struct Borrows<'body, 'tcx> {
    tcx: TyCtxt<'tcx>,
    body: &'body Body<'tcx>,
    borrow_set: Rc<BorrowSet<'tcx>>,
    borrows_o
    
    fn kill_borrows_on_place(&self, trans: &mut impl GenKill<BorrowIndex>, place: Place<'tcx>) {
        debug!("kill_borrows_on_place: place={:?}", place);

        let other_borrows_of_local = self
            .borrow_set
            .local_map
            .get(&place.local)
            .into_iter()
            .flat_map(|bs| bs.iter())
            .copied();

        // If the borrowed place is a local with no projections, all other borrows of this
        // local must conflict. This is purely an optimization so we don't have to call
        // `places_conflict` for every borrow.
        if place.projection.is_empty() {
            if !self.body.local_decls[place.local].is_ref_to_static() {
                trans.kill_all(other_borrows_of_local);
            }
            return;
        }

        // By passing `PlaceConflictBias::NoOverlap`, we conservatively assume that any given
        // pair of array indices are unequal, so that when `places_conflict` returns true, we
        // will be assured that two places being compared definitely denotes the same sets of
        // locations.
        let definitely_conflicting_borrows = other_borrows_of_local.filter(|&i| {
            rustc_borrowck::consumers::places_conflict(
                self.tcx,
                self.body,
                self.borrow_set[i].borrowed_place,
                place,
                PlaceConflictBias::NoOverlap,
            )
        });

        trans.kill_all(definitely_conflicting_borrows);
    }