Skip to content

Commit 29adf97

Browse files
cjgillotcjgillot
committed
Make late_bound_lifetime_arguments a hard error.
1 parent 6a874c5 commit 29adf97

19 files changed

+221
-258
lines changed

‎compiler/rustc_hir_analysis/src/astconv/generics.rs

Lines changed: 15 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ use crate::astconv::{
66
use crate::errors::AssocTypeBindingNotAllowed;
77
use crate::structured_errors::{GenericArgsInfo, StructuredDiagnostic, WrongNumberOfGenericArgs};
88
use rustc_ast::ast::ParamKindOrd;
9-
use rustc_errors::{struct_span_err, Applicability, Diagnostic, MultiSpan};
9+
use rustc_errors::{struct_span_err, Applicability, Diagnostic};
1010
use rustc_hir as hir;
1111
use rustc_hir::def::{DefKind, Res};
1212
use rustc_hir::def_id::DefId;
@@ -15,7 +15,6 @@ use rustc_infer::infer::TyCtxtInferExt;
1515
use rustc_middle::ty::{
1616
self, subst, subst::SubstsRef, GenericParamDef, GenericParamDefKind, IsSuggestable, Ty, TyCtxt,
1717
};
18-
use rustc_session::lint::builtin::LATE_BOUND_LIFETIME_ARGUMENTS;
1918
use rustc_span::{symbol::kw, Span};
2019
use smallvec::SmallVec;
2120

@@ -623,7 +622,6 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
623622
args: &hir::GenericArgs<'_>,
624623
position: GenericArgPosition,
625624
) -> ExplicitLateBound {
626-
let param_counts = def.own_counts();
627625
let infer_lifetimes = position != GenericArgPosition::Type && !args.has_lifetime_params();
628626

629627
if infer_lifetimes {
@@ -634,25 +632,20 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
634632
let msg = "cannot specify lifetime arguments explicitly \
635633
if late bound lifetime parameters are present";
636634
let note = "the late bound lifetime parameter is introduced here";
637-
let span = args.args[0].span();
638-
639-
if position == GenericArgPosition::Value
640-
&& args.num_lifetime_params() != param_counts.lifetimes
641-
{
642-
let mut err = tcx.sess.struct_span_err(span, msg);
643-
err.span_note(span_late, note);
644-
err.emit();
645-
} else {
646-
let mut multispan = MultiSpan::from_span(span);
647-
multispan.push_span_label(span_late, note);
648-
tcx.struct_span_lint_hir(
649-
LATE_BOUND_LIFETIME_ARGUMENTS,
650-
args.args[0].hir_id(),
651-
multispan,
652-
msg,
653-
|lint| lint,
654-
);
655-
}
635+
let help = format!(
636+
"remove the explicit lifetime argument{}",
637+
rustc_errors::pluralize!(args.num_lifetime_params())
638+
);
639+
let spans: Vec<_> = args
640+
.args
641+
.iter()
642+
.filter_map(|arg| match arg {
643+
hir::GenericArg::Lifetime(l) => Some(l.span),
644+
_ => None,
645+
})
646+
.collect();
647+
648+
tcx.sess.struct_span_err(spans, msg).span_note(span_late, note).help(help).emit();
656649

657650
ExplicitLateBound::Yes
658651
} else {

‎compiler/rustc_lint/src/lib.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -530,6 +530,11 @@ fn register_builtins(store: &mut LintStore, no_interleave_lints: bool) {
530530
"converted into hard error, see issue #71800 \
531531
<https://github.com/rust-lang/rust/issues/71800> for more information",
532532
);
533+
store.register_removed(
534+
"late_bound_lifetime_arguments",
535+
"converted into hard error, see issue #42868 \
536+
<https://github.com/rust-lang/rust/issues/42868> for more information",
537+
);
533538
}
534539

535540
fn register_internals(store: &mut LintStore) {

‎compiler/rustc_lint_defs/src/builtin.rs

Lines changed: 0 additions & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -1354,47 +1354,6 @@ declare_lint! {
13541354
};
13551355
}
13561356

1357-
declare_lint! {
1358-
/// The `late_bound_lifetime_arguments` lint detects generic lifetime
1359-
/// arguments in path segments with late bound lifetime parameters.
1360-
///
1361-
/// ### Example
1362-
///
1363-
/// ```rust
1364-
/// struct S;
1365-
///
1366-
/// impl S {
1367-
/// fn late<'a, 'b>(self, _: &'a u8, _: &'b u8) {}
1368-
/// }
1369-
///
1370-
/// fn main() {
1371-
/// S.late::<'static>(&0, &0);
1372-
/// }
1373-
/// ```
1374-
///
1375-
/// {{produces}}
1376-
///
1377-
/// ### Explanation
1378-
///
1379-
/// It is not clear how to provide arguments for early-bound lifetime
1380-
/// parameters if they are intermixed with late-bound parameters in the
1381-
/// same list. For now, providing any explicit arguments will trigger this
1382-
/// lint if late-bound parameters are present, so in the future a solution
1383-
/// can be adopted without hitting backward compatibility issues. This is
1384-
/// a [future-incompatible] lint to transition this to a hard error in the
1385-
/// future. See [issue #42868] for more details, along with a description
1386-
/// of the difference between early and late-bound parameters.
1387-
///
1388-
/// [issue #42868]: https://github.com/rust-lang/rust/issues/42868
1389-
/// [future-incompatible]: ../index.md#future-incompatible-lints
1390-
pub LATE_BOUND_LIFETIME_ARGUMENTS,
1391-
Warn,
1392-
"detects generic lifetime arguments in path segments with late bound lifetime parameters",
1393-
@future_incompatible = FutureIncompatibleInfo {
1394-
reference: "issue #42868 <https://github.com/rust-lang/rust/issues/42868>",
1395-
};
1396-
}
1397-
13981357
declare_lint! {
13991358
/// The `order_dependent_trait_objects` lint detects a trait coherency
14001359
/// violation that would allow creating two trait impls for the same
@@ -3270,7 +3229,6 @@ declare_lint_pass! {
32703229
CONST_ITEM_MUTATION,
32713230
PATTERNS_IN_FNS_WITHOUT_BODY,
32723231
MISSING_FRAGMENT_SPECIFIER,
3273-
LATE_BOUND_LIFETIME_ARGUMENTS,
32743232
ORDER_DEPENDENT_TRAIT_OBJECTS,
32753233
COHERENCE_LEAK_CHECK,
32763234
DEPRECATED,

‎src/test/ui/const-generics/const-arg-in-const-arg.full.stderr

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ note: the late bound lifetime parameter is introduced here
99
|
1010
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
1111
| ^^
12+
= help: remove the explicit lifetime argument
1213

1314
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
1415
--> $DIR/const-arg-in-const-arg.rs:21:23
@@ -21,6 +22,7 @@ note: the late bound lifetime parameter is introduced here
2122
|
2223
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
2324
| ^^
25+
= help: remove the explicit lifetime argument
2426

2527
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
2628
--> $DIR/const-arg-in-const-arg.rs:41:24
@@ -33,6 +35,7 @@ note: the late bound lifetime parameter is introduced here
3335
|
3436
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
3537
| ^^
38+
= help: remove the explicit lifetime argument
3639

3740
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
3841
--> $DIR/const-arg-in-const-arg.rs:44:24
@@ -45,6 +48,7 @@ note: the late bound lifetime parameter is introduced here
4548
|
4649
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
4750
| ^^
51+
= help: remove the explicit lifetime argument
4852

4953
error: unconstrained generic constant
5054
--> $DIR/const-arg-in-const-arg.rs:13:12
@@ -105,6 +109,7 @@ note: the late bound lifetime parameter is introduced here
105109
|
106110
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
107111
| ^^
112+
= help: remove the explicit lifetime argument
108113

109114
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
110115
--> $DIR/const-arg-in-const-arg.rs:33:23
@@ -117,6 +122,7 @@ note: the late bound lifetime parameter is introduced here
117122
|
118123
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
119124
| ^^
125+
= help: remove the explicit lifetime argument
120126

121127
error: unconstrained generic constant
122128
--> $DIR/const-arg-in-const-arg.rs:47:19
@@ -145,6 +151,7 @@ note: the late bound lifetime parameter is introduced here
145151
|
146152
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
147153
| ^^
154+
= help: remove the explicit lifetime argument
148155

149156
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
150157
--> $DIR/const-arg-in-const-arg.rs:55:27
@@ -157,6 +164,7 @@ note: the late bound lifetime parameter is introduced here
157164
|
158165
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
159166
| ^^
167+
= help: remove the explicit lifetime argument
160168

161169
error: aborting due to 16 previous errors
162170

‎src/test/ui/const-generics/const-arg-in-const-arg.min.stderr

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -227,6 +227,7 @@ note: the late bound lifetime parameter is introduced here
227227
|
228228
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
229229
| ^^
230+
= help: remove the explicit lifetime argument
230231

231232
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
232233
--> $DIR/const-arg-in-const-arg.rs:21:23
@@ -239,6 +240,7 @@ note: the late bound lifetime parameter is introduced here
239240
|
240241
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
241242
| ^^
243+
= help: remove the explicit lifetime argument
242244

243245
error[E0747]: unresolved item provided when a constant was expected
244246
--> $DIR/const-arg-in-const-arg.rs:38:24
@@ -262,6 +264,7 @@ note: the late bound lifetime parameter is introduced here
262264
|
263265
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
264266
| ^^
267+
= help: remove the explicit lifetime argument
265268

266269
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
267270
--> $DIR/const-arg-in-const-arg.rs:44:24
@@ -274,6 +277,7 @@ note: the late bound lifetime parameter is introduced here
274277
|
275278
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
276279
| ^^
280+
= help: remove the explicit lifetime argument
277281

278282
error: constant expression depends on a generic parameter
279283
--> $DIR/const-arg-in-const-arg.rs:25:17
@@ -305,6 +309,7 @@ note: the late bound lifetime parameter is introduced here
305309
|
306310
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
307311
| ^^
312+
= help: remove the explicit lifetime argument
308313

309314
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
310315
--> $DIR/const-arg-in-const-arg.rs:33:23
@@ -317,6 +322,7 @@ note: the late bound lifetime parameter is introduced here
317322
|
318323
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
319324
| ^^
325+
= help: remove the explicit lifetime argument
320326

321327
error[E0747]: unresolved item provided when a constant was expected
322328
--> $DIR/const-arg-in-const-arg.rs:49:27
@@ -340,6 +346,7 @@ note: the late bound lifetime parameter is introduced here
340346
|
341347
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
342348
| ^^
349+
= help: remove the explicit lifetime argument
343350

344351
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
345352
--> $DIR/const-arg-in-const-arg.rs:55:27
@@ -352,6 +359,7 @@ note: the late bound lifetime parameter is introduced here
352359
|
353360
LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
354361
| ^^
362+
= help: remove the explicit lifetime argument
355363

356364
error: aborting due to 36 previous errors
357365

‎src/test/ui/const-generics/issues/issue-83466.rs

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,8 @@ impl S {
99
}
1010
fn dont_crash<'a, U>() {
1111
S.func::<'a, 10_u32>()
12-
//~^ WARNING cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
13-
//~^^ WARNING this was previously accepted by
14-
//~^^^ ERROR constant provided when a type was expected [E0747]
12+
//~^ ERROR cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
13+
//~| ERROR constant provided when a type was expected [E0747]
1514
}
1615

1716
fn main() {}

‎src/test/ui/const-generics/issues/issue-83466.stderr

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
1-
warning: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
1+
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
22
--> $DIR/issue-83466.rs:11:14
33
|
4-
LL | fn func<'a, U>(self) -> U {
5-
| -- the late bound lifetime parameter is introduced here
6-
...
74
LL | S.func::<'a, 10_u32>()
85
| ^^
96
|
10-
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
11-
= note: for more information, see issue #42868 <https://github.com/rust-lang/rust/issues/42868>
12-
= note: `#[warn(late_bound_lifetime_arguments)]` on by default
7+
note: the late bound lifetime parameter is introduced here
8+
--> $DIR/issue-83466.rs:6:13
9+
|
10+
LL | fn func<'a, U>(self) -> U {
11+
| ^^
12+
= help: remove the explicit lifetime argument
1313

1414
error[E0747]: constant provided when a type was expected
1515
--> $DIR/issue-83466.rs:11:18
1616
|
1717
LL | S.func::<'a, 10_u32>()
1818
| ^^^^^^
1919

20-
error: aborting due to previous error; 1 warning emitted
20+
error: aborting due to 2 previous errors
2121

2222
For more information about this error, try `rustc --explain E0747`.

‎src/test/ui/issues/issue-60622.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@ fn run_wild<T>(b: &Borked) {
1010
b.a::<'_, T>();
1111
//~^ ERROR cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
1212
//~| ERROR this associated function takes 0 generic arguments but 1 generic argument
13-
//~| WARN this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
1413
}
1514

1615
fn main() {}

‎src/test/ui/issues/issue-60622.stderr

Lines changed: 5 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,15 @@
11
error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
22
--> $DIR/issue-60622.rs:10:11
33
|
4-
LL | fn a(&self) {}
5-
| - the late bound lifetime parameter is introduced here
6-
...
74
LL | b.a::<'_, T>();
85
| ^^
96
|
10-
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
11-
= note: for more information, see issue #42868 <https://github.com/rust-lang/rust/issues/42868>
12-
note: the lint level is defined here
13-
--> $DIR/issue-60622.rs:1:9
7+
note: the late bound lifetime parameter is introduced here
8+
--> $DIR/issue-60622.rs:6:10
149
|
15-
LL | #![deny(warnings)]
16-
| ^^^^^^^^
17-
= note: `#[deny(late_bound_lifetime_arguments)]` implied by `#[deny(warnings)]`
10+
LL | fn a(&self) {}
11+
| ^
12+
= help: remove the explicit lifetime argument
1813

1914
error[E0107]: this associated function takes 0 generic arguments but 1 generic argument was supplied
2015
--> $DIR/issue-60622.rs:10:7

‎src/test/ui/issues/issue-72278.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
// run-pass
2-
31
#![allow(unused)]
42

53
struct S;
@@ -12,8 +10,7 @@ impl S {
1210

1311
fn dont_crash<'a, U>() -> U {
1412
S.func::<'a, U>()
15-
//~^ WARN cannot specify lifetime arguments explicitly
16-
//~| WARN this was previously accepted
13+
//~^ ERROR cannot specify lifetime arguments explicitly
1714
}
1815

1916
fn main() {}

0 commit comments

Comments
 (0)