| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -17/+0 | |
| 2022-12-14 | Highlight conflicting param-env candidates, again | Michael Goulet | -1/+7 | |
| 2022-07-15 | Revert "Highlight conflicting param-env candidates" | Michael Goulet | -7/+1 | |
| This reverts commit 08135254dcf22be0d5661ea8f75e703b29a83514. | ||||
| 2022-07-08 | Highlight conflicting param-env candidates | Michael Goulet | -1/+7 | |
| 2022-07-01 | Don't point at Self type if we can't find an infer variable in ambiguous ↵ | Michael Goulet | -2/+2 | |
| trait predicate | ||||
| 2021-11-20 | Point at source of trait bound obligations in more places | Esteban Kuber | -5/+0 | |
| 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-08-16 | Use note to point at bound introducing requirement | Esteban Küber | -3/+5 | |
| 2020-04-08 | Use `PredicateObligation`s instead of `Predicate`s | Esteban Küber | -1/+1 | |
| Keep more information about trait binding failures. | ||||
| 2020-04-05 | "cannot resolve" → "cannot satisfy" | Esteban Küber | -1/+1 | |
| 2020-02-02 | Use more accurate failed predicate spans | Esteban Küber | -3/+3 | |
| 2020-02-02 | Point at arguments or output when fn obligations come from them, or ident ↵ | Esteban Küber | -11/+5 | |
| when they don't | ||||
| 2019-12-11 | Add more context for type parameters | 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-08-14 | Merged migrated compile-fail tests and ui tests. Fixes #46841. | David Wood | -0/+21 | |
