Skip to content

Commit 23db450

Browse files
committed
minor fixes
1 parent 68b1a87 commit 23db450

File tree

2 files changed

+8
-3
lines changed
  • src/librustc_mir/borrow_check/nll/region_infer

2 files changed

+8
-3
lines changed

src/librustc_mir/borrow_check/nll/region_infer/error_reporting/mod.rs

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,7 @@ enum Trace {
5656

5757
/// Various pieces of state used when reporting borrow checker errors.
5858
pub struct ErrorReportingCtx<'a, 'b, 'tcx> {
59+
#[allow(dead_code)] // FIXME(mark-i-m): used by outlives suggestions
5960
rinfcx: &'b RegionInferenceContext<'tcx>,
6061
infcx: &'b InferCtxt<'a, 'tcx>,
6162

@@ -335,12 +336,12 @@ impl<'tcx> RegionInferenceContext<'tcx> {
335336
}
336337
(ConstraintCategory::Assignment, true, false)
337338
| (ConstraintCategory::CallArgument, true, false) => {
338-
let mut db = self.report_escaping_data_error(&errctx, &errci, renctx);
339+
let db = self.report_escaping_data_error(&errctx, &errci, renctx);
339340

340341
db
341342
}
342343
_ => {
343-
let mut db = self.report_general_error(&errctx, &errci, renctx);
344+
let db = self.report_general_error(&errctx, &errci, renctx);
344345

345346
db
346347
}

src/librustc_mir/borrow_check/nll/region_infer/mod.rs

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,6 @@ use crate::borrow_check::nll::{
1111
region_infer::values::{
1212
PlaceholderIndices, RegionElement, ToElementIndex
1313
},
14-
region_infer::error_reporting::outlives_suggestion::OutlivesSuggestionBuilder,
1514
type_check::{free_region_relations::UniversalRegionRelations, Locations},
1615
};
1716
use crate::borrow_check::Upvar;
@@ -1340,6 +1339,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
13401339
mir_def_id,
13411340
fr,
13421341
&mut propagated_outlives_requirements,
1342+
errors_buffer,
13431343
region_naming,
13441344
);
13451345
}
@@ -1371,6 +1371,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
13711371
mir_def_id: DefId,
13721372
longer_fr: RegionVid,
13731373
propagated_outlives_requirements: &mut Option<&mut Vec<ClosureOutlivesRequirement<'tcx>>>,
1374+
errors_buffer: &mut Vec<Diagnostic>,
13741375
region_naming: &mut RegionErrorNamingCtx,
13751376
) {
13761377
debug!("check_universal_region(fr={:?})", longer_fr);
@@ -1398,6 +1399,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
13981399
upvars,
13991400
mir_def_id,
14001401
propagated_outlives_requirements,
1402+
errors_buffer,
14011403
region_naming,
14021404
);
14031405
return;
@@ -1414,6 +1416,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
14141416
upvars,
14151417
mir_def_id,
14161418
propagated_outlives_requirements,
1419+
errors_buffer,
14171420
region_naming,
14181421
) {
14191422
// continuing to iterate just reports more errors than necessary
@@ -1435,6 +1438,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
14351438
upvars: &[Upvar],
14361439
mir_def_id: DefId,
14371440
propagated_outlives_requirements: &mut Option<&mut Vec<ClosureOutlivesRequirement<'tcx>>>,
1441+
errors_buffer: &mut Vec<Diagnostic>,
14381442
region_naming: &mut RegionErrorNamingCtx,
14391443
) -> Option<ErrorReported> {
14401444
// If it is known that `fr: o`, carry on.

0 commit comments

Comments
 (0)