Remove BorrowKind glob, make names longer
This commit is contained in:
parent
b14362f665
commit
efeed550c4
@ -80,7 +80,7 @@ impl<'tcx> Delegate<'tcx> for MutatePairDelegate<'_, 'tcx> {
|
|||||||
fn consume(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId) {}
|
fn consume(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId) {}
|
||||||
|
|
||||||
fn borrow(&mut self, cmt: &PlaceWithHirId<'tcx>, diag_expr_id: HirId, bk: ty::BorrowKind) {
|
fn borrow(&mut self, cmt: &PlaceWithHirId<'tcx>, diag_expr_id: HirId, bk: ty::BorrowKind) {
|
||||||
if bk == ty::BorrowKind::MutBorrow {
|
if bk == ty::BorrowKind::Mutable {
|
||||||
if let PlaceBase::Local(id) = cmt.place.base {
|
if let PlaceBase::Local(id) = cmt.place.base {
|
||||||
if Some(id) == self.hir_id_low && !BreakAfterExprVisitor::is_found(self.cx, diag_expr_id) {
|
if Some(id) == self.hir_id_low && !BreakAfterExprVisitor::is_found(self.cx, diag_expr_id) {
|
||||||
self.span_low = Some(self.cx.tcx.hir().span(diag_expr_id));
|
self.span_low = Some(self.cx.tcx.hir().span(diag_expr_id));
|
||||||
|
@ -417,8 +417,8 @@ fn borrow(&mut self, cmt: &euv::PlaceWithHirId<'tcx>, id: HirId, borrow: ty::Bor
|
|||||||
// a closure, it'll return this variant whereas if you have just an index access, it'll
|
// a closure, it'll return this variant whereas if you have just an index access, it'll
|
||||||
// return `ImmBorrow`. So if there is "Unique" and it's a mutable reference, we add it
|
// return `ImmBorrow`. So if there is "Unique" and it's a mutable reference, we add it
|
||||||
// to the mutably used variables set.
|
// to the mutably used variables set.
|
||||||
if borrow == ty::BorrowKind::MutBorrow
|
if borrow == ty::BorrowKind::Mutable
|
||||||
|| (borrow == ty::BorrowKind::UniqueImmBorrow && base_ty.ref_mutability() == Some(Mutability::Mut))
|
|| (borrow == ty::BorrowKind::UniqueImmutable && base_ty.ref_mutability() == Some(Mutability::Mut))
|
||||||
{
|
{
|
||||||
self.add_mutably_used_var(*vid);
|
self.add_mutably_used_var(*vid);
|
||||||
} else if self.is_in_unsafe_block(id) {
|
} else if self.is_in_unsafe_block(id) {
|
||||||
@ -426,7 +426,7 @@ fn borrow(&mut self, cmt: &euv::PlaceWithHirId<'tcx>, id: HirId, borrow: ty::Bor
|
|||||||
// upon!
|
// upon!
|
||||||
self.add_mutably_used_var(*vid);
|
self.add_mutably_used_var(*vid);
|
||||||
}
|
}
|
||||||
} else if borrow == ty::ImmBorrow {
|
} else if borrow == ty::BorrowKind::Immutable {
|
||||||
// If there is an `async block`, it'll contain a call to a closure which we need to
|
// If there is an `async block`, it'll contain a call to a closure which we need to
|
||||||
// go into to ensure all "mutate" checks are found.
|
// go into to ensure all "mutate" checks are found.
|
||||||
if let Node::Expr(Expr {
|
if let Node::Expr(Expr {
|
||||||
|
@ -102,7 +102,7 @@ fn imm_borrows_in_expr(cx: &LateContext<'_>, e: &hir::Expr<'_>) -> HirIdSet {
|
|||||||
struct S(HirIdSet);
|
struct S(HirIdSet);
|
||||||
impl Delegate<'_> for S {
|
impl Delegate<'_> for S {
|
||||||
fn borrow(&mut self, place: &PlaceWithHirId<'_>, _: HirId, kind: BorrowKind) {
|
fn borrow(&mut self, place: &PlaceWithHirId<'_>, _: HirId, kind: BorrowKind) {
|
||||||
if matches!(kind, BorrowKind::ImmBorrow | BorrowKind::UniqueImmBorrow) {
|
if matches!(kind, BorrowKind::Immutable | BorrowKind::UniqueImmutable) {
|
||||||
self.0.insert(match place.place.base {
|
self.0.insert(match place.place.base {
|
||||||
PlaceBase::Local(id) => id,
|
PlaceBase::Local(id) => id,
|
||||||
PlaceBase::Upvar(id) => id.var_path.hir_id,
|
PlaceBase::Upvar(id) => id.var_path.hir_id,
|
||||||
@ -127,7 +127,7 @@ fn mut_borrows_in_expr(cx: &LateContext<'_>, e: &hir::Expr<'_>) -> HirIdSet {
|
|||||||
struct S(HirIdSet);
|
struct S(HirIdSet);
|
||||||
impl Delegate<'_> for S {
|
impl Delegate<'_> for S {
|
||||||
fn borrow(&mut self, place: &PlaceWithHirId<'_>, _: HirId, kind: BorrowKind) {
|
fn borrow(&mut self, place: &PlaceWithHirId<'_>, _: HirId, kind: BorrowKind) {
|
||||||
if matches!(kind, BorrowKind::MutBorrow) {
|
if matches!(kind, BorrowKind::Mutable) {
|
||||||
self.0.insert(match place.place.base {
|
self.0.insert(match place.place.base {
|
||||||
PlaceBase::Local(id) => id,
|
PlaceBase::Local(id) => id,
|
||||||
PlaceBase::Upvar(id) => id.var_path.hir_id,
|
PlaceBase::Upvar(id) => id.var_path.hir_id,
|
||||||
|
@ -217,7 +217,7 @@ fn is_option_as_mut_use(tcx: TyCtxt<'_>, expr_id: HirId) -> bool {
|
|||||||
|
|
||||||
impl<'tcx> Delegate<'tcx> for MutationVisitor<'tcx> {
|
impl<'tcx> Delegate<'tcx> for MutationVisitor<'tcx> {
|
||||||
fn borrow(&mut self, cat: &PlaceWithHirId<'tcx>, diag_expr_id: HirId, bk: ty::BorrowKind) {
|
fn borrow(&mut self, cat: &PlaceWithHirId<'tcx>, diag_expr_id: HirId, bk: ty::BorrowKind) {
|
||||||
if let ty::BorrowKind::MutBorrow = bk
|
if let ty::BorrowKind::Mutable = bk
|
||||||
&& is_potentially_local_place(self.local_id, &cat.place)
|
&& is_potentially_local_place(self.local_id, &cat.place)
|
||||||
&& !is_option_as_mut_use(self.tcx, diag_expr_id)
|
&& !is_option_as_mut_use(self.tcx, diag_expr_id)
|
||||||
{
|
{
|
||||||
|
@ -1209,8 +1209,8 @@ fn visit_expr(&mut self, e: &'tcx Expr<'_>) {
|
|||||||
let capture = match capture.info.capture_kind {
|
let capture = match capture.info.capture_kind {
|
||||||
UpvarCapture::ByValue => CaptureKind::Value,
|
UpvarCapture::ByValue => CaptureKind::Value,
|
||||||
UpvarCapture::ByRef(kind) => match kind {
|
UpvarCapture::ByRef(kind) => match kind {
|
||||||
BorrowKind::ImmBorrow => CaptureKind::Ref(Mutability::Not),
|
BorrowKind::Immutable => CaptureKind::Ref(Mutability::Not),
|
||||||
BorrowKind::UniqueImmBorrow | BorrowKind::MutBorrow => {
|
BorrowKind::UniqueImmutable | BorrowKind::Mutable => {
|
||||||
CaptureKind::Ref(Mutability::Mut)
|
CaptureKind::Ref(Mutability::Mut)
|
||||||
},
|
},
|
||||||
},
|
},
|
||||||
|
@ -67,7 +67,7 @@ impl<'tcx> Delegate<'tcx> for MutVarsDelegate {
|
|||||||
fn consume(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId) {}
|
fn consume(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId) {}
|
||||||
|
|
||||||
fn borrow(&mut self, cmt: &PlaceWithHirId<'tcx>, _: HirId, bk: ty::BorrowKind) {
|
fn borrow(&mut self, cmt: &PlaceWithHirId<'tcx>, _: HirId, bk: ty::BorrowKind) {
|
||||||
if bk == ty::BorrowKind::MutBorrow {
|
if bk == ty::BorrowKind::Mutable {
|
||||||
self.update(cmt);
|
self.update(cmt);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user