diff options
| author | gaurikholkar <f2013002@goa.bits-pilani.ac.in> | 2018-04-08 22:57:48 +0530 |
|---|---|---|
| committer | gaurikholkar <f2013002@goa.bits-pilani.ac.in> | 2018-04-08 22:57:48 +0530 |
| commit | 2ad20e8127094bb22d88e2e98012ad4ea20e2d3f (patch) | |
| tree | 42b374ca54fcae7c53f5216c8c1e0dd0435a63c5 | |
| parent | cbde62c2cc5cfcbbb39bfc1e3ef61016a1693298 (diff) | |
| download | rust-2ad20e8127094bb22d88e2e98012ad4ea20e2d3f.tar.gz rust-2ad20e8127094bb22d88e2e98012ad4ea20e2d3f.zip | |
tidy fixes
| -rw-r--r-- | src/librustc_mir/borrow_check/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc_mir/borrow_check/mod.rs b/src/librustc_mir/borrow_check/mod.rs index e3714802e2a..3d1d64bb71c 100644 --- a/src/librustc_mir/borrow_check/mod.rs +++ b/src/librustc_mir/borrow_check/mod.rs @@ -1576,10 +1576,12 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> { err.emit(); }, Reservation(WriteKind::Mutate) | Write(WriteKind::Mutate) => { + if let Err(place_err) = self.is_mutable(place, is_local_mutation_allowed) { error_reported = true; let mut err_info = None; match *place_err { + Place::Projection(box Projection { ref base, elem:ProjectionElem::Deref}) => { match *base { @@ -1641,9 +1643,7 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> { ); } } - Activation(..) => {} // permission checks are done at Reservation point. - Read(ReadKind::Borrow(BorrowKind::Unique)) | Read(ReadKind::Borrow(BorrowKind::Mut { .. })) | Read(ReadKind::Borrow(BorrowKind::Shared)) |
