mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-22 23:04:33 +00:00
commit
30d1d8f5da
@ -177,7 +177,7 @@ impl<'a, 'tcx> Borrows<'a, 'tcx> {
|
||||
//
|
||||
// We are careful always to call this function *before* we
|
||||
// set up the gen-bits for the statement or
|
||||
// termanator. That way, if the effect of the statement or
|
||||
// terminator. That way, if the effect of the statement or
|
||||
// terminator *does* introduce a new loan of the same
|
||||
// region, then setting that gen-bit will override any
|
||||
// potential kill introduced here.
|
||||
|
@ -8,7 +8,7 @@ use crate::dataflow::{AnalysisDomain, Backward, GenKill, GenKillAnalysis};
|
||||
///
|
||||
/// This analysis considers references as being used only at the point of the
|
||||
/// borrow. In other words, this analysis does not track uses because of references that already
|
||||
/// exist. See [this `mir-datalow` test][flow-test] for an example. You almost never want to use
|
||||
/// exist. See [this `mir-dataflow` test][flow-test] for an example. You almost never want to use
|
||||
/// this analysis without also looking at the results of [`MaybeBorrowedLocals`].
|
||||
///
|
||||
/// [`MaybeBorrowedLocals`]: ../struct.MaybeBorrowedLocals.html
|
||||
@ -134,7 +134,7 @@ impl DefUse {
|
||||
|
||||
// `MutatingUseContext::Call` and `MutatingUseContext::Yield` indicate that this is the
|
||||
// destination place for a `Call` return or `Yield` resume respectively. Since this is
|
||||
// only a `Def` when the function returns succesfully, we handle this case separately
|
||||
// only a `Def` when the function returns successfully, we handle this case separately
|
||||
// in `call_return_effect` above.
|
||||
PlaceContext::MutatingUse(MutatingUseContext::Call | MutatingUseContext::Yield) => None,
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user