about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/errors
AgeCommit message (Collapse)AuthorLines
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-1/+5
2025-07-28Rename trait_of_item -> trait_of_assocCameron Steffen-1/+1
2025-07-17parse `const trait Trait`Deadbeef-1/+1
2025-07-06compiler: rename {ast,hir}::BareFn* to FnPtr*Jubilee Young-2/+2
Fix some comments and related types and locals where it is obvious, e.g. - bare_fn -> fn_ptr - LifetimeBinderKind::BareFnType -> LifetimeBinderKind::FnPtrType Co-authored-by: León Orell Valerian Liehr <me@fmease.dev>
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-1/+1
2025-04-20Don't compute name of associated item if it's an RPITITMichael Goulet-7/+7
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-1/+1
To accurately reflect that RPITIT assoc items don't have a name. This avoids the use of `kw::Empty` to mean "no name", which is error prone. Helps with #137978.
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-2/+2
From `hir::AssocItem`.
2025-03-06Remove the `Option` part of range ends in the HIROli Scherer-14/+0
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-6/+5
Continuing the work from #137162. Every method gains a `hir_` prefix.
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-1/+1
The end goal is to eliminate `Map` altogether. I added a `hir_` prefix to all of them, that seemed simplest. The exceptions are `module_items` which became `hir_module_free_items` because there was already a `hir_module_items`, and `items` which became `hir_free_items` for consistency with `hir_module_free_items`.
2025-02-03Use a different hir type for patterns in pattern types than we use in match ↵Oli Scherer-7/+0
patterns
2025-02-02Maintain a list of types permitted per patternOli Scherer-0/+12
2025-01-30Filter out RPITITs when suggesting unconstrained assoc type on too many genericsMichael Goulet-0/+1
2025-01-27Remove redundant to_ident_string callsMichael Goulet-1/+1
2024-10-10Clarify implicit captures for RPITITMichael Goulet-0/+9
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-18Explicitly mark a hack as a HACK and elaborate its commentLeón Orell Valerian Liehr-7/+8
2024-09-18Do not ICE with incorrect empty suggestionEsteban Küber-1/+11
When we have two types with the same name, one without type parameters and the other with type parameters and a derive macro, we were before incorrectly suggesting to remove type parameters from the former, which ICEd because we were suggesting to remove nothing. We now gate against this. The output is still not perfect. E0107 should explicitly detect this case and provide better context, but for now let's avoid the ICE.
2024-09-16Introduce distinct error codes for precise capturingMichael Goulet-1/+2
2024-09-11Simplify some nested if statementsMichael Goulet-12/+10
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-11/+11
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+4
The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.
2024-07-22Revert suggestion verbosity changeEsteban Küber-3/+3
2024-07-22On generic and lifetime removal suggestion, do not leave behind stray `,`Esteban Küber-9/+17
2024-07-22Change suggestion message wordingEsteban Küber-5/+3
2024-07-22Use verbose suggestion for "wrong # of generics"Esteban Küber-4/+4
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-1/+1
Clean up a few minor refs in `format!` macro, as it has a performance cost. Apparently the compiler is unable to inline `format!("{}", &variable)`, and does a run-time double-reference instead (format macro already does one level referencing). Inlining format args prevents accidental `&` misuse.
2024-07-08Remove `structured_errors` moduleOli Scherer-0/+1138
2024-04-20Explicitly mention `Self`Michael Goulet-0/+10
2024-04-20Flip spans for precise capturing syntax not capturing a ty/ct paramMichael Goulet-3/+3
2024-04-15Use a path instead of an ident (and stop manually resolving)Michael Goulet-0/+10
2024-04-15Some ordering and duplication checksMichael Goulet-1/+21
2024-04-15Validation and other thingsMichael Goulet-0/+33
2024-04-08Start handling pattern types at the HIR -> Ty conversion boundaryOli Scherer-0/+9