| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-14 | update use of feature flags | lcnr | -2/+2 | |
| 2023-12-10 | remove redundant imports | surechen | -1/+0 | |
| detects redundant imports that can be eliminated. for #117772 : In order to facilitate review and modification, split the checking code and removing redundant imports code into two PR. | ||||
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -40/+40 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-10-25 | Work around the fact that `check_mod_type_wf` may spuriously return ↵ | Oli Scherer | -1/+14 | |
| `ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types` | ||||
| 2023-10-09 | Extend impl's def_span to include where clauses | Michael Goulet | -4/+6 | |
| 2023-09-23 | Tweak expected message to explain what it's actually signifying | Michael Goulet | -1/+1 | |
| 2023-09-10 | Point out if a local trait has no implementations | Michael Goulet | -0/+5 | |
| 2023-06-28 | Adjust inner span of implicit self ref argument | Michael Goulet | -2/+2 | |
| 2023-06-06 | bless coherence test | Michael Goulet | -2/+31 | |
| 2023-05-09 | Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errors | Dylan DPC | -0/+187 | |
| Min specialization improvements - Don't allow specialization impls with no items, such implementations are probably not correct and only occur as mistakes in the compiler and standard library - Fix a missing normalization call - Adds spans for lifetime errors from overly general specializations Closes #79457 Closes #109815 | ||||
| 2023-05-05 | Report nicer lifetime errors for specialization | Matthew Jasper | -0/+77 | |
| Add an obligation cause for these error so that the error points to the implementations that caused the error. | ||||
| 2023-05-05 | Normalize consistently for specializations | Matthew Jasper | -0/+82 | |
| 2023-05-05 | Disallow (min) specialization imps with no items | Matthew Jasper | -0/+28 | |
| Such implementations are usually mistakes and are not used in the compiler or standard library (after this commit) so forbid them with `min_specialization`. | ||||
| 2023-05-05 | remove unnecessary attribute from a diagnostic | Takayuki Maeda | -0/+22 | |
| 2023-04-26 | add known-bug test for unsound issue 105782 | whtahy | -0/+30 | |
| 2023-04-26 | add known-bug test for unsound issue 40582 | whtahy | -0/+35 | |
| 2023-04-16 | fix library and rustdoc tests | Deadbeef | -1/+22 | |
| 2023-04-12 | Tweak output for 'add line' suggestion | Esteban Küber | -1/+2 | |
| 2023-03-23 | Note type mismatch on ConstArgHasType | Michael Goulet | -1/+1 | |
| 2023-03-19 | Delay overlap errors if errors are involved | Michael Goulet | -7/+10 | |
| 2023-03-19 | Constrain const vars to error if const types are mismatched | Michael Goulet | -4/+4 | |
| 2023-03-09 | Use param's real type in try_eval_lit_or_param | Michael Goulet | -0/+23 | |
| 2023-02-14 | Fetch less HIR in signature check. | Camille GILLOT | -17/+17 | |
| 2023-01-30 | Modify primary span label for E0308 | Esteban Küber | -2/+2 | |
| The previous output was unintuitive to users. | ||||
| 2023-01-12 | Only point at impl self ty in WF if trait predicate shares self ty | Michael Goulet | -2/+2 | |
| 2023-01-12 | Point at impl self type for impl wf obligations | Michael Goulet | -2/+2 | |
| 2023-01-12 | Point at HIR types when impl trait ref doesn't normalize | Michael Goulet | -2/+2 | |
| 2023-01-11 | Note predicate span on ImplDerivedObligation | Michael Goulet | -1/+9 | |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+4009 | |
