| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -19/+0 | |
| 2022-11-28 | Further tweak the type shortening logic | Esteban Küber | -1/+1 | |
| 2022-11-28 | Detect long types in E0308 and write them to disk | Esteban Küber | -1/+1 | |
| On type error with long types, print an abridged type and write the full type to disk. Print the widest possible short type while still fitting in the terminal. | ||||
| 2022-11-18 | On E0275 do not print out the full type in the msg | Esteban Küber | -1/+1 | |
| When printing requirement overflow errors, do not print out the full type name when it is longer than 50 characters long. | ||||
| 2022-11-18 | On overflow errors, do not print out long types | Esteban Küber | -3/+4 | |
| 2022-08-18 | Reword "Required because of the requirements on the impl of ..." | Andy Wang | -2/+2 | |
| 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-09-28 | Improve help for recursion limit errors | Ross MacArthur | -1/+1 | |
| 2021-08-16 | Use note to point at bound introducing requirement | Esteban Küber | -3/+5 | |
| 2021-04-06 | Point at `impl` and type defs introducing requirements on E0277 | Esteban Küber | -1/+5 | |
| 2020-11-18 | Remove redundant notes in E0275 | Esteban Küber | -126/+1 | |
| Fix #58964. | ||||
| 2020-05-28 | standardize limit comparisons with `Limit` type | David Wood | -1/+2 | |
| This commit introduces a `Limit` type which is used to ensure that all comparisons against limits within the compiler are consistent (which can result in ICEs if they aren't). Signed-off-by: David Wood <david@davidtw.co> | ||||
| 2020-04-08 | Use `PredicateObligation`s instead of `Predicate`s | Esteban Küber | -1/+1 | |
| Keep more information about trait binding failures. | ||||
| 2020-02-05 | `#![recursion_limit = "X"]`: note current crate name. | Mazdak Farrokhzad | -1/+1 | |
| 2020-02-02 | Use more accurate failed predicate spans | Esteban Küber | -2/+2 | |
| 2019-08-31 | Use span label instead of note for cause in E0631 | Esteban Küber | -5/+3 | |
| 2019-07-07 | Raise the default recursion limit to 128 | Simonas Kazlauskas | -2/+66 | |
| 2019-03-11 | Update tests | Vadim Petrochenkov | -1/+1 | |
| 2019-01-16 | Don't explicitly increment the depth for new trait predicates | Aaron Hill | -1/+32 | |
| 2019-01-03 | Improve error generation, fixup recursion limits | Aaron Hill | -33/+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/+79 | |
