summary refs log tree commit diff
path: root/compiler/rustc_infer/src/errors
AgeCommit message (Collapse)AuthorLines
2023-04-17Spelling - compilerJosh Soref-7/+7
* account * achieved * advising * always * ambiguous * analysis * annotations * appropriate * build * candidates * cascading * category * character * clarification * compound * conceptually * constituent * consts * convenience * corresponds * debruijn * debug * debugable * debuggable * deterministic * discriminant * display * documentation * doesn't * ellipsis * erroneous * evaluability * evaluate * evaluation * explicitly * fallible * fulfill * getting * has * highlighting * illustrative * imported * incompatible * infringing * initialized * into * intrinsic * introduced * javascript * liveness * metadata * monomorphization * nonexistent * nontrivial * obligation * obligations * offset * opaque * opportunities * opt-in * outlive * overlapping * paragraph * parentheses * poisson * precisely * predecessors * predicates * preexisting * propagated * really * reentrant * referent * responsibility * rustonomicon * shortcircuit * simplifiable * simplifications * specify * stabilized * structurally * suggestibility * translatable * transmuting * two * unclosed * uninhabited * visibility * volatile * workaround Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
2023-04-12Auto merge of #110249 - matthiaskrgr:rollup-7iig04q, r=matthiaskrgrbors-3/+3
Rollup of 8 pull requests Successful merges: - #110153 (Fix typos in compiler) - #110165 (rustdoc: use CSS `overscroll-behavior` instead of JavaScript) - #110175 (Symbol cleanups) - #110203 (Remove `..` from return type notation) - #110205 (rustdoc: make settings radio and checks thicker, less contrast) - #110222 (Improve the error message when forwarding a matched fragment to another macro) - #110237 (Split out a separate feature gate for impl trait in associated types) - #110241 (tidy: Issue an error when UI test limits are too high) Failed merges: - #110218 (Remove `ToRegionVid`) r? `@ghost` `@rustbot` modify labels: rollup
2023-04-12Rollup merge of #110153 - DaniPopes:compiler-typos, r=NilstriebMatthias Krüger-3/+3
Fix typos in compiler I ran [`typos -w compiler`](https://github.com/crate-ci/typos) to fix typos in the `compiler` directory. Refs #110150
2023-04-12Inline and remove `DescriptionCtx::from_early_bound_and_free_regions`.Nicholas Nethercote-67/+44
It has a single call site, and the code is clearer with all region kinds handled in one function, instead of splitting the handling across two functions. The commit also changes `DescriptionCtx::new` to use a more declarative style, instead of creating a default `DescriptionCtx` and modifying it, which I find easier to read.
2023-04-12Inline and remove `DescriptionCtx::add_to`.Nicholas Nethercote-8/+4
It has a single callsite.
2023-04-11Remove the unused `anon_num_here` error.Nicholas Nethercote-2/+0
2023-04-10Fix typos in compilerDaniPopes-3/+3
2023-04-10Auto merge of #108698 - IntQuant:issue-100717-infer-6, r=davidtwcobors-12/+377
Migrating rustc_infer to session diagnostics (part 5) `@rustbot` label +A-translation cc https://github.com/rust-lang/rust/issues/100717
2023-04-06Remove index from BrAnonJack Huey-1/+1
2023-04-06Don't use BrAnon index in diagnosticsJack Huey-3/+2
2023-04-04A more general implementation of `IntoDiagnosticArg` for `Binder` (Also ↵IQuant-10/+2
removes `DiagArg`, as it's no longer necessary)
2023-04-04Renamed TypeErrorAdditionalDiags (was Error0308Subdiags) and ↵IQuant-14/+14
ObligationCauseFailureCode (was FailureCodeDiagnostics)
2023-04-04Migrate (most of) report_and_explain_type_errorIQuant-15/+158
2023-04-04Migrate TupleTrailingCommaSuggestionIQuant-0/+16
2023-04-04Migrate SuggestTuplePatternIQuant-0/+36
2023-04-04Migrate SuggestBoxingForReturnImplTrait, Fix typo in infer_fn_consider_castingIQuant-1/+19
2023-04-04Migrate SuggestAccessingFieldIQuant-0/+28
2023-04-04Migrate SuggestAsRefWhereAppropriateIQuant-0/+72
2023-04-04Ported FunctionPointerSuggestionIQuant-0/+60
2023-03-03Migrate diagnosticMichael Goulet-0/+10
2023-02-22errors: generate typed identifiers in each crateDavid Wood-20/+20
Instead of loading the Fluent resources for every crate in `rustc_error_messages`, each crate generates typed identifiers for its own diagnostics and creates a static which are pulled together in the `rustc_driver` crate and provided to the diagnostic emitter. Signed-off-by: David Wood <david.wood@huawei.com>
2023-02-14Specify correct spans in suggest_await_on_expect_foundIQuant-7/+1
2023-02-14Port PlaceholderRelationLfNotSatisfied diagnosticIQuant-0/+59
2023-02-14Port ConsiderAddingAwaitIQuant-0/+43
2023-02-14Port SuggestRemoveSemiOrReturnBindingIQuant-0/+44
2023-02-14Make sure tests passNikita Tomashevich-1/+1
2023-02-14Port WhereClauseSuggestionsNikita Tomashevich-0/+26
2023-02-14Resolve rebaseNikita Tomashevich-14/+0
2023-02-14Port another diagnosticNikita Tomashevich-0/+4
2023-02-14Port RefLongerThanDataNikita Tomashevich-0/+14
2023-02-14Port "BorrowedTooLong" diagnosticNikita Tomashevich-2/+16
2023-02-14Port OutlivesContent, OutlivesBound, FUllfillReqLifetime, ↵Nikita Tomashevich-7/+66
LfBoundNotSatisfied diagnostics
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-1/+1
2023-02-09Introduce `ReError`Esteban Küber-0/+2
CC #69314
2023-01-18Fix #107090, fix missing arguments for fluentyukang-0/+2
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