| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -37/+0 | |
| 2022-10-04 | follow-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-19 | Add E0790 as more specific variant of E0283 | aticu | -4/+11 | |
| 2022-06-02 | add new `emit_inference_failure_err` | lcnr | -7/+4 | |
| 2022-04-23 | Use more targetted suggestion span for fully qualified path | Esteban Küber | -1/+4 | |
| 2021-11-20 | Do not mention associated items when they introduce an obligation | Esteban Kuber | -10/+0 | |
| 2021-11-20 | Point at source of trait bound obligations in more places | Esteban 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-24 | Point at overlapping impls when type annotations are needed | Esteban Kuber | -1/+8 | |
| 2021-07-19 | Various diagnostics clean ups/tweaks | Esteban 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-18 | Add test case for suggestion E0283 | Daiki Ihara | -2/+14 | |
| 2020-04-05 | "cannot resolve" → "cannot satisfy" | Esteban Küber | -1/+1 | |
| 2019-12-10 | Deduplicate logic | Esteban Küber | -2/+4 | |
| 2019-09-24 | Remove blanket silencing of "type annotation needed" errors | Esteban 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-31 | Use span label instead of note for cause in E0631 | Esteban Küber | -6/+3 | |
| 2019-03-11 | Update tests | Vadim Petrochenkov | -1/+1 | |
| 2018-12-25 | Remove licenses | Mark Rousskov | -2/+2 | |
| 2018-03-14 | update tests | Guillaume Gomez | -1/+1 | |
| 2018-02-26 | Update UI tests | Vadim Petrochenkov | -2/+2 | |
| 2018-02-25 | Update ui tests | Guillaume Gomez | -0/+1 | |
| 2018-02-08 | Move some E0XXX to `ui` | Esteban Küber | -0/+14 | |
