Rename `errors/mod.rs` as `errors.rs`.

2024-10-06T22:50:50+00:00

It's simpler, for this tiny module.

Add `warn(unreachable_pub)` to `rustc_infer`.

2024-08-27T04:47:56+00:00

Move all error reporting into rustc_trait_selection

2024-07-22T02:34:35+00:00

Move need_type_info too

2024-07-22T02:33:15+00:00

Fix precise capturing suggestion for hidden type when APITs are involved

2024-07-17T14:52:13+00:00

Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::infer

2024-07-16T00:16:12+00:00

Make it translatable too

2024-07-11T18:14:17+00:00

Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)

2024-05-24T17:06:53+00:00

Detect when a lifetime is being reused in suggestion

2024-05-17T21:23:47+00:00

Tweak suggested lifetimes to modify return type instead of `&self` receiver

2024-05-17T20:31:13+00:00

Do not suggest constraining the `&self` param, but rather the return type. If that is wrong (because it is not sufficient), a follow up error will tell the user to fix it. This way we lower the chances of *over* constraining, but still get the cake of "correctly" contrained in two steps. This is a correct suggestion: ``` error: lifetime may not live long enough --> $DIR/ex3-both-anon-regions-return-type-is-anon.rs:9:9 | LL | fn foo<'a>(&self, x: &i32) -> &i32 { | - - let's call the lifetime of this reference `'1` | | | let's call the lifetime of this reference `'2` LL | x | ^ method was supposed to return data with lifetime `'2` but it is returning data with lifetime `'1` | help: consider introducing a named lifetime parameter and update trait if needed | LL | fn foo<'a>(&self, x: &'a i32) -> &'a i32 { | ++ ++ ``` While this is incomplete because it should suggestino `&'a self` ``` error: lifetime may not live long enough --> $DIR/ex3-both-anon-regions-self-is-anon.rs:7:19 | LL | fn foo<'a>(&self, x: &Foo) -> &Foo { | - - let's call the lifetime of this reference `'1` | | | let's call the lifetime of this reference `'2` LL | if true { x } else { self } | ^ method was supposed to return data with lifetime `'2` but it is returning data with lifetime `'1` | help: consider introducing a named lifetime parameter and update trait if needed | LL | fn foo<'a>(&self, x: &'a Foo) -> &'a Foo { | ++ ++ ``` but the follow up error is ``` error: lifetime may not live long enough --> tests/ui/lifetimes/lifetime-errors/ex3-both-anon-regions-self-is-anon.rs:7:30 | 6 | fn foo<'a>(&self, x: &'a Foo) -> &'a Foo { | -- - let's call the lifetime of this reference `'1` | | | lifetime `'a` defined here 7 | if true { x } else { self } | ^^^^ method was supposed to return data with lifetime `'a` but it is returning data with lifetime `'1` | help: consider introducing a named lifetime parameter and update trait if needed | 6 | fn foo<'a>(&'a self, x: &'a Foo) -> &'a Foo { | ++ ```

rust/compiler/rustc_infer/src/errors, branch master