summary refs log tree commit diff
path: root/compiler/rustc_infer/src/errors
AgeCommit message (Collapse)AuthorLines
2023-01-07Rollup merge of #101936 - IntQuant:issue-100717-infer-4, r=compiler-errorsMatthias Krüger-5/+416
Migrating rustc_infer to session diagnostics (part 3) ``@rustbot`` label +A-translation r? rust-lang/diagnostics cc https://github.com/rust-lang/rust/issues/100717 Seems like a part of static_impl_trait.rs emits suggestions in a loop, and note.rs needs to have two instances of the same subdiagnostic, so these will need to wait until we have eager translation/list support. Other than that, there is only error_reporting/mod.rs left to migrate.
2022-12-28Rename `Rptr` to `Ref` in AST and HIRNilstrieb-2/+2
The name makes a lot more sense, and `ty::TyKind` calls it `Ref` already as well.
2022-12-28eager is the default nowNikita Tomashevich-1/+1
2022-12-28Made ty_or_sig and trait_path use their actual types instead of StringNikita Tomashevich-32/+69
2022-12-28Split infer_explicit_lifetime_required into several diagsNikita Tomashevich-17/+32
2022-12-28Address changes of pr 103345Nikita Tomashevich-46/+46
2022-12-28Rename subdiagnostic fields that do not need to be unique nowNikita Tomashevich-8/+3
2022-12-28Use eager translationNikita Tomashevich-11/+27
2022-12-28Split into several messagesNikita Tomashevich-8/+160
2022-12-28More descriptive names for ActualImplExplNotes variantsNikita Tomashevich-4/+4
2022-12-28Rebase and fixNikita Tomashevich-13/+13
2022-12-28Partial work on static_impl_trait.rsNikita Tomashevich-0/+97
2022-12-28Migrate trait_impl_difference.rsNikita Tomashevich-0/+38
2022-12-28Migrate placeholder_error.rsNikita Tomashevich-0/+41
2022-12-28Migrate named_anon_conflict.rsNikita Tomashevich-2/+22
2022-12-04Always evaluate vecs of subdiagnostics eagerlymejrs-1/+1
2022-11-23Separate lifetime ident from resolution in HIR.Camille GILLOT-12/+12
2022-11-10Auto merge of #103636 - chenyukang:yukang/fix-103587-sugg-if-let, ↵bors-0/+12
r=jackh276,davidtwco Recover from common if let syntax mistakes/typos Fixes #103587
2022-11-08use subdiagnostic for sugesting add letyukang-0/+12
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB ↵Jack Huey-2/+5
error from generator interior
2022-10-26Convert all #[suggestion_*] attributes to #[suggestion(style = "...")]Xiretza-5/+10
Using the following command: find compiler/ -type f -name '*.rs' -exec perl -i -gpe \ 's/(#\[\w*suggestion)_(short|verbose|hidden)\(\s*(\S+,)?/\1(\3style = "\2",/g' \ '{}' +
2022-10-23Migrate all diagnosticsNilstrieb-36/+36
2022-10-17infer: use derive moreDavid Wood-42/+29
Signed-off-by: David Wood <david.wood@huawei.com>
2022-10-10errors: `AddToDiagnostic::add_to_diagnostic_with`David Wood-9/+33
`AddToDiagnostic::add_to_diagnostic_with` is similar to the previous `AddToDiagnostic::add_to_diagnostic` but takes a function that can be used by the caller to modify diagnostic messages originating from the subdiagnostic (such as performing translation eagerly). `add_to_diagnostic` now just calls `add_to_diagnostic_with` with an empty closure. Signed-off-by: David Wood <david.wood@huawei.com>
2022-09-21FIX - adopt new Diagnostic naming in newly migrated modulesJhonny Bill Mena-20/+20
FIX - ambiguous Diagnostic link in docs UPDATE - rename diagnostic_items to IntoDiagnostic and AddToDiagnostic [Gardening] FIX - formatting via `x fmt` FIX - rebase conflicts. NOTE: Confirm wheather or not we want to handle TargetDataLayoutErrorsWrapper this way DELETE - unneeded allow attributes in Handler method FIX - broken test FIX - Rebase conflict UPDATE - rename residual _SessionDiagnostic and fix LintDiag link
2022-09-08Remove ReEmptyJack Huey-7/+0
2022-09-06Whoops forgot a spaceNikita Tomashevich-1/+1
2022-09-06Replace manual impl with a derive macro as multipart suggestions are now ↵Nikita Tomashevich-39/+50
supported by them
2022-09-06Slightly more concise commentIQuant-4/+1
Co-authored-by: David Wood <agile.lion3441@fuligin.ink>
2022-09-06Use untranslated messages for nowNikita Tomashevich-11/+24
2022-09-06Remove a comment and use IntoDiagnosticArg instead of add_to() where feasibleNikita Tomashevich-14/+17
2022-09-06Address some commentsNikita Tomashevich-63/+52
2022-09-06Mugrate mismatched_static_lifetime.rsNikita Tomashevich-0/+665