Function rustc_borrowck::places_conflict::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.