diff options
| author | bobtwinkles <srkoser+github@gmail.com> | 2018-05-23 07:57:21 -0700 |
|---|---|---|
| committer | bobtwinkles <srkoser+github@gmail.com> | 2018-05-23 07:57:21 -0700 |
| commit | ed72977475f6f865cecb35545abbccecf0dfeec4 (patch) | |
| tree | 95eeef87cc7944a6c3f7a2b701649d9ce8b87e2b | |
| parent | e62fa27071f296cca9b35f50e2d1bb3459631fd7 (diff) | |
| download | rust-ed72977475f6f865cecb35545abbccecf0dfeec4.tar.gz rust-ed72977475f6f865cecb35545abbccecf0dfeec4.zip | |
Remove unnecessary type annotations
| -rw-r--r-- | src/librustc_mir/borrow_check/mod.rs | 2 | ||||
| -rw-r--r-- | src/librustc_mir/borrow_check/nll/invalidation.rs | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/librustc_mir/borrow_check/mod.rs b/src/librustc_mir/borrow_check/mod.rs index 82f06232b8e..d415fa48d0e 100644 --- a/src/librustc_mir/borrow_check/mod.rs +++ b/src/librustc_mir/borrow_check/mod.rs @@ -947,7 +947,7 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> { (sd, place_span.0), &borrow_set, flow_state.borrows_in_scope(), - |this: &mut Self, borrow_index: BorrowIndex, borrow: &BorrowData<'tcx>| + |this, borrow_index, borrow| match (rw, borrow.kind) { // Obviously an activation is compatible with its own // reservation (or even prior activating uses of same diff --git a/src/librustc_mir/borrow_check/nll/invalidation.rs b/src/librustc_mir/borrow_check/nll/invalidation.rs index 6c5e45a25af..50aa1550fb7 100644 --- a/src/librustc_mir/borrow_check/nll/invalidation.rs +++ b/src/librustc_mir/borrow_check/nll/invalidation.rs @@ -8,7 +8,7 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -use borrow_check::borrow_set::{BorrowSet, BorrowData}; +use borrow_check::borrow_set::BorrowSet; use borrow_check::location::LocationTable; use borrow_check::{JustWrite, WriteAndRead}; use borrow_check::{ShallowOrDeep, Deep, Shallow}; @@ -496,7 +496,7 @@ impl<'cg, 'cx, 'tcx, 'gcx> InvalidationGenerator<'cg, 'cx, 'tcx, 'gcx> { (sd, place), &borrow_set.clone(), indices, - |this: &mut Self, borrow_index: BorrowIndex, borrow: &BorrowData<'tcx>| { + |this, borrow_index, borrow| { match (rw, borrow.kind) { // Obviously an activation is compatible with its own // reservation (or even prior activating uses of same |
