| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-11-21 | Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead | Matthias Krüger | -5/+2 |
| 2024-11-20 | Rip out built-in PointerLike impl | Michael Goulet | -50/+0 |
| 2024-11-19 | Implement ~const Fn trait goals in the new solver | Michael Goulet | -17/+128 |
| 2024-11-19 | Rename implied_const_bounds to explicit_implied_const_bounds | Michael Goulet | -5/+2 |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -1/+5 |
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -8/+8 |
| 2024-11-03 | Rename the FIXMEs, remove a few that dont matter anymore | Michael Goulet | -3/+1 |
| 2024-10-30 | Merge HostPolarity and BoundConstness | Michael Goulet | -4/+7 |
| 2024-10-29 | remove outdated debug_assertion | lcnr | -3/+0 |
| 2024-10-29 | TypingMode :thinking: | lcnr | -87/+73 |
| 2024-10-24 | Add support for ~const item bounds | Michael Goulet | -1/+77 |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -0/+300 |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -121/+0 |
| 2024-10-22 | remove unused field | lcnr | -11/+7 |
| 2024-10-22 | fix typo | lcnr | -1/+1 |
| 2024-10-21 | don't bail when encountering many placeholders | lcnr | -1/+2 |
| 2024-10-21 | normalizes-to disable infer var check | lcnr | -7/+16 |
| 2024-10-19 | Fix transmute goal | Michael Goulet | -1/+37 |
| 2024-10-18 | Rollup merge of #131857 - WaffleLapkin:dyn-drop-principal-3, r=compiler-errors | Matthias Krüger | -1/+2 |
| 2024-10-17 | Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errors | Matthias Krüger | -3/+2 |
| 2024-10-17 | Allow dropping dyn principal | Michael Goulet | -1/+2 |
| 2024-10-17 | SolverDelegate add assoc type for Infcx | lcnr | -3/+2 |
| 2024-10-17 | move `defining_opaque_types` out of `Canonical` | lcnr | -11/+18 |
| 2024-10-16 | Auto merge of #131792 - matthiaskrgr:rollup-480nwg4, r=matthiaskrgr | bors | -6/+79 |
| 2024-10-15 | update bootstrap configs | Josh Stone | -1/+1 |
| 2024-10-15 | Register a dummy candidate for failed structural normalization during candiat... | Michael Goulet | -0/+20 |
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -9/+13 |
| 2024-10-15 | Make sure the alias is actually rigid | Michael Goulet | -2/+51 |
| 2024-10-12 | Shallowly match opaque key in storage | Michael Goulet | -43/+42 |
| 2024-10-11 | remove outdated FIXMEs | lcnr | -15/+4 |
| 2024-10-10 | Auto merge of #131263 - compiler-errors:solver-relating, r=lcnr | bors | -51/+3 |
| 2024-10-10 | impossible obligations check fast path | lcnr | -21/+62 |
| 2024-10-10 | Use SolverRelating in favor of TypeRelating in the old solver where possible | Michael Goulet | -1/+1 |
| 2024-10-10 | Use SolverRelating in new solver | Michael Goulet | -0/+2 |
| 2024-10-10 | Uplift super_combine | Michael Goulet | -50/+0 |
| 2024-10-02 | Auto merge of #130821 - lcnr:nalgebra-hang-2, r=compiler-errors | bors | -124/+190 |
| 2024-10-02 | review | lcnr | -12/+17 |
| 2024-10-01 | add caches to multiple type folders | lcnr | -15/+47 |
| 2024-09-30 | canonicalizer: rm region uniquification, add caching | lcnr | -109/+138 |
| 2024-09-28 | Rollup merge of #130866 - compiler-errors:dyn-instantiate-binder, r=lcnr | Matthias Krüger | -27/+38 |
| 2024-09-27 | Instantiate binders when checking supertrait upcasting | Michael Goulet | -27/+38 |
| 2024-09-26 | Check allow instantiating object trait binder when upcasting and in new solver | Michael Goulet | -3/+3 |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -8/+8 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -92/+68 |
| 2024-09-20 | add comment | lcnr | -0/+4 |
| 2024-09-20 | bail if there are too many non-region infer vars | lcnr | -0/+7 |
| 2024-09-12 | Rollup merge of #130273 - lcnr:overflow-no-constraints, r=compiler-errors | Matthias Krüger | -26/+22 |
| 2024-09-12 | more eagerly discard constraints on overflow | lcnr | -26/+22 |
| 2024-09-12 | Rollup merge of #130250 - compiler-errors:useless-conversion, r=jieyouxu | Stuart Cook | -1/+0 |
| 2024-09-11 | clippy::useless_conversion | Michael Goulet | -1/+0 |
