| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-01-29 | Rollup merge of #135902 - compiler-errors:item-non-self-bound-in-new-solver, ... | León Orell Valerian Liehr | -3/+13 |
| 2025-01-28 | Do not assume child bound assumptions for rigid alias | Michael Goulet | -3/+13 |
| 2025-01-28 | Rollup merge of #136055 - fee1-dead-contrib:push-ovmyztlkptmk, r=RalfJung | Matthias Krüger | -10/+228 |
| 2025-01-28 | "normalize" signature before checking mentions self | Boxy | -0/+52 |
| 2025-01-28 | add test case for implicitly stable const fn | Deadbeef | -1/+117 |
| 2025-01-28 | Implement MIR const trait stability checks | Deadbeef | -10/+112 |
| 2025-01-27 | Remove all dead files inside tests/ui/ | León Orell Valerian Liehr | -86/+0 |
| 2025-01-25 | Fix typo in const stability error message | Deadbeef | -1/+1 |
| 2025-01-25 | Rollup merge of #135971 - compiler-errors:self-projection, r=fmease | Matthias Krüger | -3/+20 |
| 2025-01-24 | Properly report error when object type param default references self | Michael Goulet | -3/+20 |
| 2025-01-23 | Rollup merge of #135766 - lcnr:candidate-assembly-3, r=compiler-errors | Matthias Krüger | -0/+21 |
| 2025-01-23 | Rollup merge of #134746 - compiler-errors:autoderef-norm-non-wf-coerce-ice, r... | Matthias Krüger | -0/+56 |
| 2025-01-22 | Don't ICE in coerce when autoderef fails to structurally normalize non-WF typ... | Michael Goulet | -0/+56 |
| 2025-01-22 | Rollup merge of #135866 - BoxyUwU:dont_pick_fnptr_nested_goals, r=lcnr | Matthias Krüger | -0/+62 |
| 2025-01-22 | Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnr | Matthias Krüger | -0/+45 |
| 2025-01-22 | Refactor dyn-compatibility error and suggestions | Taylor Cramer | -142/+175 |
| 2025-01-22 | Use `structurally_normalize` instead of manual `normalizes-to` goals | Boxy | -0/+45 |
| 2025-01-22 | Don't pick `T: FnPtr` nested goals | Boxy | -0/+62 |
| 2025-01-21 | Auto merge of #133830 - compiler-errors:span-key, r=lcnr | bors | -333/+344 |
| 2025-01-20 | handle global trait bounds defining assoc type | lcnr | -0/+21 |
| 2025-01-18 | Auto merge of #135618 - lcnr:coherence-unknown, r=compiler-errors | bors | -0/+70 |
| 2025-01-17 | add test | lcnr | -0/+70 |
| 2025-01-16 | Auto merge of #134504 - oli-obk:push-rltsvnyttwll, r=compiler-errors | bors | -0/+29 |
| 2025-01-15 | Rollup merge of #135498 - compiler-errors:dyn-upcasting-completeness, r=lcnr | Guillaume Gomez | -0/+29 |
| 2025-01-14 | Rollup merge of #135425 - compiler-errors:not-conditionally-const, r=RalfJung | Jubilee | -5/+3 |
| 2025-01-14 | Rollup merge of #135423 - compiler-errors:enforce-const-trait-syntactical, r=... | Jubilee | -5/+108 |
| 2025-01-14 | Rollup merge of #134940 - compiler-errors:scrape, r=lcnr | Jubilee | -0/+13 |
| 2025-01-15 | Rework trait expansion to happen once explicitly | Michael Goulet | -333/+344 |
| 2025-01-14 | Make sure to scrape region constraints from deeply normalizing type outlives ... | Michael Goulet | -0/+13 |
| 2025-01-14 | Enforce syntactical stability of const traits in HIR | Michael Goulet | -5/+108 |
| 2025-01-14 | Do not consider traits that have unsatisfied const conditions to be condition... | Michael Goulet | -5/+3 |
| 2025-01-14 | Prefer lower TraitUpcasting candidates | Michael Goulet | -0/+29 |
| 2025-01-14 | add note to test | lcnr | -1/+1 |
| 2025-01-14 | Leak check in impossible_predicates to avoid monomorphizing impossible instances | Michael Goulet | -0/+79 |
| 2025-01-11 | Remove a bunch of diagnostic stashing that doesn't do anything | Michael Goulet | -15/+26 |
| 2025-01-10 | Rollup merge of #134732 - compiler-errors:unify-conditional-const-error-repor... | Jacob Pratt | -10/+16 |
| 2025-01-10 | Rollup merge of #135294 - ChrisDenton:bare-fn-width, r=jieyouxu | Matthias Krüger | -6/+8 |
| 2025-01-09 | Make bare-fn test less dependent on path width | Chris Denton | -6/+8 |
| 2025-01-09 | Unify conditional and non const call error reporting | Michael Goulet | -16/+16 |
| 2025-01-09 | Add note back to conditionally-const error message | Michael Goulet | -0/+6 |
| 2025-01-09 | Use trait definition cycle detection for trait alias definitions, too | Oli Scherer | -0/+29 |
| 2025-01-08 | Implement const Destruct in old solver | Michael Goulet | -32/+95 |
| 2025-01-08 | Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnr | bors | -8/+6 |
| 2025-01-06 | Rollup merge of #134744 - compiler-errors:transmute-non-wf, r=lcnr | Jacob Pratt | -0/+92 |
| 2025-01-06 | Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr | Jacob Pratt | -8/+11 |
| 2025-01-06 | `best_blame_constraint`: add a special case to recover object lifetime defaul... | dianne | -3/+6 |
| 2025-01-06 | `best_blame_constraint`: don't filter constraints by sup SCC | dianne | -14/+9 |
| 2025-01-06 | Rollup merge of #134951 - compiler-errors:double-trait-err-msg, r=davidtwco | Matthias Krüger | -0/+63 |
| 2025-01-06 | Recurse on GAT where clauses in fulfillment error proof tree visitor | Michael Goulet | -18/+14 |
| 2025-01-06 | Don't ice on bad transmute in typeck in new solver | Michael Goulet | -0/+92 |
