Skip to main content

## borrow_conflicts_with_place

# Function borrow_conflicts_with_place

Source

    pub(crate) fn borrow_conflicts_with_place<'tcx>(
        tcx: TyCtxt<'tcx>,
        body: &Body<'tcx>,
        borrow_place: Place<'tcx>,
        borrow_kind: BorrowKind,
        access_place: PlaceRef<'tcx>,
        access: AccessDepth,
        bias: PlaceConflictBias,
    ) -> bool

Expand description

Checks whether the `borrow_place` conflicts with the `access_place` given a borrow kind and access depth. The `bias` parameter is used to determine how the unknowable (comparing runtime array indices, for example) should be interpreted - this depends on what the caller wants in order to make the conservative choice and preserve soundness.