]> git.lizzy.rs Git - rust.git/commitdiff
Report late-bound region lint as error in `check_generic_arg_count`
authorvarkor <github@varkor.com>
Tue, 21 Jan 2020 22:36:17 +0000 (22:36 +0000)
committervarkor <github@varkor.com>
Sat, 22 Feb 2020 00:27:45 +0000 (00:27 +0000)
src/librustc_typeck/astconv.rs

index a1440c3e2895cc70f9c6f4462bb2d0132aa940b9..1e5e00445cccaf36d73779abee93f20420dc4540 100644 (file)
@@ -313,9 +313,10 @@ fn check_generic_arg_count(
         }
 
         // Prohibit explicit lifetime arguments if late-bound lifetime parameters are present.
-        let mut reported_late_bound_region_err = None;
+        let mut reported_late_bound_region_err = false;
         if !infer_lifetimes {
             if let Some(span_late) = def.has_late_bound_regions {
+                reported_late_bound_region_err = true;
                 let msg = "cannot specify lifetime arguments explicitly \
                            if late bound lifetime parameters are present";
                 let note = "the late bound lifetime parameter is introduced here";
@@ -326,7 +327,6 @@ fn check_generic_arg_count(
                     let mut err = tcx.sess.struct_span_err(span, msg);
                     err.span_note(span_late, note);
                     err.emit();
-                    reported_late_bound_region_err = Some(true);
                 } else {
                     let mut multispan = MultiSpan::from_span(span);
                     multispan.push_span_label(span_late, note.to_string());
@@ -336,7 +336,6 @@ fn check_generic_arg_count(
                         multispan,
                         |lint| lint.build(msg).emit(),
                     );
-                    reported_late_bound_region_err = Some(false);
                 }
             }
         }
@@ -405,10 +404,10 @@ fn check_generic_arg_count(
                 true
             };
 
-        let mut arg_count_mismatch = reported_late_bound_region_err.unwrap_or(false);
+        let mut arg_count_mismatch = reported_late_bound_region_err;
         let mut unexpected_spans = vec![];
 
-        if reported_late_bound_region_err.is_none()
+        if !reported_late_bound_region_err
             && (!infer_lifetimes || arg_counts.lifetimes > param_counts.lifetimes)
         {
             arg_count_mismatch |= check_kind_count(