is a systems programming language that runs "blazingly fast, prevents nearly all segfaults, and guarantees thread safety" (developed by Mozilla).
| regionck.rs (rustc-1.45.0-src.tar.xz) | : | regionck.rs (rustc-1.45.2-src.tar.xz) |
|---|
| | |
| skipping to change at line 311 | | skipping to change at line 311 |
|---|
| | |
| // region checking can introduce new pending obligations | | // region checking can introduce new pending obligations |
| // which, when processed, might generate new region | | // which, when processed, might generate new region |
| // obligations. So make sure we process those. | | // obligations. So make sure we process those. |
| self.select_all_obligations_or_error(); | | self.select_all_obligations_or_error(); |
| } | | } |
| | |
| fn resolve_regions_and_report_errors(&self, mode: RegionckMode) { | | fn resolve_regions_and_report_errors(&self, mode: RegionckMode) { |
| self.infcx.process_registered_region_obligations( | | self.infcx.process_registered_region_obligations( |
| self.outlives_environment.region_bound_pairs_map(), | | self.outlives_environment.region_bound_pairs_map(), |
|
| self.implicit_region_bound, | | Some(self.tcx.lifetimes.re_root_empty), |
| self.param_env, | | self.param_env, |
| ); | | ); |
| | |
| self.fcx.resolve_regions_and_report_errors( | | self.fcx.resolve_regions_and_report_errors( |
| self.subject_def_id.to_def_id(), | | self.subject_def_id.to_def_id(), |
| &self.outlives_environment, | | &self.outlives_environment, |
| mode, | | mode, |
| ); | | ); |
| } | | } |
| | |
| | | |
| End of changes. 1 change blocks. |
|---|
| 1 lines changed or deleted | | 1 lines changed or added |
|---|
"Fossies" - the Fresh Open Source Software Archive 