| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 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 | |
