| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-02-13 | Reduce direct `mk_ty` usage. | Nicholas Nethercote | -5/+5 |
| 2023-02-13 | Pre-intern some commonly used type variables. | Nicholas Nethercote | -1/+1 |
| 2023-02-12 | rename query and use `NoSolution` | Boxy | -4/+5 |
| 2023-02-11 | make `relate`'s const ty assertion use semantic equality | Boxy | -2/+21 |
| 2023-02-11 | Auto merge of #107919 - Dylan-DPC:rollup-fkl9swa, r=Dylan-DPC | bors | -7/+35 |
| 2023-02-11 | Rollup merge of #105019 - chenyukang:yukang/fix-104961-borrow, r=cjgillot | Dylan DPC | -7/+35 |
| 2023-02-10 | implement `compute_alias_eq_goal` | Boxy | -3/+113 |
| 2023-02-10 | emit `AliasEq` when relating type and const aliases | Boxy | -0/+15 |
| 2023-02-10 | add `AliasEq` to `PredicateKind` | Boxy | -0/+34 |
| 2023-02-10 | Rollup merge of #107863 - compiler-errors:new-solver-multiple-candidates, r=j... | Matthias Krüger | -3/+5 |
| 2023-02-10 | Rollup merge of #107831 - nnethercote:query-refactoring, r=oli-obk | Matthias Krüger | -4/+3 |
| 2023-02-10 | Multiple candidates with same response is not ambiguous | Michael Goulet | -3/+5 |
| 2023-02-09 | Rollup merge of #107815 - compiler-errors:new-solver-no-auto-if-impl, r=lcnr | Dylan DPC | -0/+14 |
| 2023-02-09 | Disqualify auto-trait builtin impl in new solver if impl exists | Michael Goulet | -0/+14 |
| 2023-02-09 | Move winnowing to assembly | Michael Goulet | -140/+81 |
| 2023-02-09 | Implement a dummy drop-in-favor-of for the new solver | Michael Goulet | -19/+33 |
| 2023-02-09 | Use elaborated item bounds for alias types | Michael Goulet | -4/+1 |
| 2023-02-09 | Fix subst issue with object_ty_for_trait | Michael Goulet | -5/+3 |
| 2023-02-09 | Avoid some `tls::with` calls. | Nicholas Nethercote | -4/+3 |
| 2023-02-08 | Rollup merge of #107799 - lcnr:update-provisional-result, r=oli-obk | Michael Goulet | -5/+8 |
| 2023-02-09 | fix #104961, Add parentheses properly for borrowing suggestion | yukang | -7/+35 |
| 2023-02-08 | correctly update goals in the cache | lcnr | -5/+8 |
| 2023-02-08 | Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnr | Matthias Krüger | -34/+34 |
| 2023-02-08 | Rollup merge of #107769 - compiler-errors:pointer-like, r=eholk | Matthias Krüger | -8/+8 |
| 2023-02-07 | Replacing bound vars is actually instantiating a binder | Michael Goulet | -34/+34 |
| 2023-02-07 | Rename PointerSized to PointerLike | Michael Goulet | -8/+8 |
| 2023-02-07 | Rollup merge of #107555 - edward-shen:edward-shen/dup-trait-suggestion, r=com... | Matthias Krüger | -0/+2 |
| 2023-02-06 | Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl... | Matthias Krüger | -1/+3 |
| 2023-02-06 | Modify existing bounds if they exist | Edward Shen | -0/+2 |
| 2023-02-03 | intern external constraints | Michael Goulet | -21/+17 |
| 2023-02-03 | Rollup merge of #107427 - detrumi:builtin-impl-candidates, r=compiler-errors | Dylan DPC | -0/+25 |
| 2023-02-03 | Autotrait bounds on dyn-safe trait methods | David Tolnay | -10/+50 |
| 2023-02-03 | Use new helper inside probe | Wilco Kusee | -6/+2 |
| 2023-02-01 | Improve pretty-printing of `HirIdValidator` errors | Arpad Borsos | -1/+1 |
| 2023-02-01 | Simplify discriminant_kind goal using new helper function | Wilco Kusee | -14/+7 |
| 2023-02-01 | Add candidates for DiscriminantKind builtin | Wilco Kusee | -0/+36 |
| 2023-01-31 | Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obk | Guillaume Gomez | -2/+2 |
| 2023-01-31 | Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obk | Guillaume Gomez | -14/+17 |
| 2023-01-31 | Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errors | Guillaume Gomez | -45/+86 |
| 2023-01-31 | Auto merge of #106399 - estebank:type-err-span-label, r=nagisa | bors | -3/+9 |
| 2023-01-31 | Rollup merge of #107479 - compiler-errors:probe-can-call-ocx, r=BoxyUwU | Yuki Okushi | -1/+1 |
| 2023-01-30 | Track bound types like bound regions | Michael Goulet | -2/+2 |
| 2023-01-30 | Tweak E0271 wording | Esteban Küber | -2/+6 |
| 2023-01-30 | Modify primary span label for E0308 | Esteban Küber | -1/+3 |
| 2023-01-30 | nits | Michael Goulet | -16/+16 |
| 2023-01-30 | Trait upcasting support in new solver | Michael Goulet | -59/+107 |
| 2023-01-30 | Implement unsizing in the new trait solver | Michael Goulet | -0/+192 |
| 2023-01-30 | Use ObligationCtxt::new_in_snapshot in satisfied_from_param_env | Michael Goulet | -1/+1 |
| 2023-01-30 | Replace enum `==`s with `match`es where it makes sense | Maybe Waffle | -14/+17 |
| 2023-01-30 | Rollup merge of #107146 - compiler-errors:unsizing-params, r=cjgillot | Dylan DPC | -44/+10 |
