| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-08 | temporarily revert "ice on ambguity in mir typeck" | Ali MJ Al-Nasrawy | -0/+24 | |
| Reverts #116530 | ||||
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -37/+37 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-10-29 | On object safety error, mention new enum as alternative | Esteban Küber | -0/+12 | |
| When we encounter a `dyn Trait` that isn't object safe, look for its implementors. If there's one, mention using it directly If there are less than 9, mention the possibility of creating a new enum and using that instead. Account for object unsafe `impl Trait on dyn Trait {}`. Make a distinction between public and sealed traits. Fix #80194. | ||||
| 2023-10-25 | Work around the fact that `check_mod_type_wf` may spuriously return ↵ | Oli Scherer | -9/+76 | |
| `ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types` | ||||
| 2023-10-11 | Suggest `;` after bare `match` expression E0308 | Esteban Küber | -0/+4 | |
| Fix #72634. | ||||
| 2023-10-08 | remove trailing dots | Ali MJ Al-Nasrawy | -7/+7 | |
| 2023-10-08 | always show and explain sub region | Ali MJ Al-Nasrawy | -3/+21 | |
| 2023-10-08 | improve the suggestion of generic_bound_failure | Ali MJ Al-Nasrawy | -3/+5 | |
| 2023-10-04 | Reorder fullfillment errors to keep more interesting ones first | Esteban Küber | -9/+9 | |
| In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail. | ||||
| 2023-09-10 | Point out if a local trait has no implementations | Michael Goulet | -0/+39 | |
| 2023-05-12 | Note base types of coercion | Michael Goulet | -16/+8 | |
| 2023-04-22 | add known-bug test for unsound issue 104005 | whtahy | -0/+37 | |
| 2023-04-22 | add known-bug test for unsound issue 100041 | whtahy | -0/+19 | |
| 2023-04-22 | add known-bug test for unsound issue 98117 | whtahy | -0/+23 | |
| 2023-04-13 | Rollup merge of #110193 - compiler-errors:body-owner-issue, r=WaffleLapkin | Matthias Krüger | -0/+44 | |
| Check for body owner fallibly in error reporting Sometimes the "body id" we use for an obligation cause is not actually a body owner, like when we're doing WF checking on items. Fixes #110157 | ||||
| 2023-04-12 | Tweak output for 'add line' suggestion | Esteban Küber | -2/+4 | |
| 2023-04-11 | Check for body owner fallibly | Michael Goulet | -0/+44 | |
| 2023-03-05 | oops! new unsoundness | Ali MJ Al-Nasrawy | -10/+10 | |
| Bless tests and show an introduced unsoundness related to exits<'a> { forall<'b> { 'a == 'b } }. We now resolve the var ?a in U0 to the placeholder !b in U1. | ||||
| 2023-02-09 | Introduce `ReError` | Esteban Küber | -25/+2 | |
| CC #69314 | ||||
| 2023-01-30 | Modify primary span label for E0308 | Esteban Küber | -1/+1 | |
| The previous output was unintuitive to users. | ||||
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+2109 | |
