diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2017-12-12 14:21:37 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2017-12-13 12:20:28 -0500 |
| commit | 75ac071cd6e14c887fbb7526da8958b53aaf7198 (patch) | |
| tree | 10b781b5f44dcba19820bd183b43418f24bc5f0c | |
| parent | f6723a9592e69419b1325faf5ffbbad2f8a6291a (diff) | |
document return value of `add_live_point`
| -rw-r--r-- | src/librustc_mir/borrow_check/nll/region_infer/mod.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/librustc_mir/borrow_check/nll/region_infer/mod.rs b/src/librustc_mir/borrow_check/nll/region_infer/mod.rs index c1518b28dab..c926c7432bb 100644 --- a/src/librustc_mir/borrow_check/nll/region_infer/mod.rs +++ b/src/librustc_mir/borrow_check/nll/region_infer/mod.rs @@ -208,6 +208,9 @@ impl<'tcx> RegionInferenceContext<'tcx> { } /// Indicates that the region variable `v` is live at the point `point`. + /// + /// Returns `true` if this constraint is new and `false` is the + /// constraint was already present. pub(super) fn add_live_point(&mut self, v: RegionVid, point: Location) -> bool { debug!("add_live_point({:?}, {:?})", v, point); assert!(self.inferred_values.is_none(), "values already inferred"); |
