about summary refs log tree commit diff
path: root/src/test/ui/error-codes/E0283.stderr
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-37/+0
2022-10-04follow-up fix about 101866 to print the self type.Yiming Lei-2/+2
modified: compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs modified: src/test/ui/error-codes/E0283.stderr modified: src/test/ui/error-codes/E0790.stderr modified: src/test/ui/traits/static-method-generic-inference.stderr modified: src/test/ui/type/issue-101866.stderr
2022-07-19Add E0790 as more specific variant of E0283aticu-4/+11
2022-06-02add new `emit_inference_failure_err`lcnr-7/+4
2022-04-23Use more targetted suggestion span for fully qualified pathEsteban Küber-1/+4
2021-11-20Do not mention associated items when they introduce an obligationEsteban Kuber-10/+0
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-0/+5
Be more thorough in using `ItemObligation` and `BindingObligation` when evaluating obligations so that we can point at trait bounds that introduced unfulfilled obligations. We no longer incorrectly point at unrelated trait bounds (`substs-ppaux.verbose.stderr`). In particular, we now point at trait bounds on method calls. We no longer point at "obvious" obligation sources (we no longer have a note pointing at `Trait` saying "required by a bound in `Trait`", like in `associated-types-no-suitable-supertrait*`). Address part of #89418.
2021-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-1/+8
2021-07-19Various diagnostics clean ups/tweaksEsteban Küber-3/+5
* Always point at macros, including derive macros * Point at non-local items that introduce a trait requirement * On private associated item, point at definition
2021-01-18Add test case for suggestion E0283Daiki Ihara-2/+14
2020-04-05"cannot resolve" → "cannot satisfy"Esteban Küber-1/+1
2019-12-10Deduplicate logicEsteban Küber-2/+4
2019-09-24Remove blanket silencing of "type annotation needed" errorsEsteban Küber-1/+1
Remove blanket check for existence of other errors before emitting "type annotation needed" errors, and add some eager checks to avoid adding obligations when they refer to types that reference `[type error]` in order to reduce unneded errors.
2019-08-31Use span label instead of note for cause in E0631Esteban Küber-6/+3
2019-03-11Update testsVadim Petrochenkov-1/+1
2018-12-25Remove licensesMark Rousskov-2/+2
2018-03-14update testsGuillaume Gomez-1/+1
2018-02-26Update UI testsVadim Petrochenkov-2/+2
2018-02-25Update ui testsGuillaume Gomez-0/+1
2018-02-08Move some E0XXX to `ui`Esteban Küber-0/+14