| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-01-29 | Auto merge of #106253 - nbdd0121:upcast, r=compiler-errors | bors | -20/+39 |
| 2023-01-29 | Rollup merge of #107401 - lenko-d:remove_the_usize_field_from_CandidateSource... | Matthias Krüger | -8/+5 |
| 2023-01-28 | Make unsizing_params_for_adt into a query | Michael Goulet | -44/+10 |
| 2023-01-28 | Auto merge of #107303 - compiler-errors:intern-canonical-var-values, r=lcnr | bors | -26/+4 |
| 2023-01-28 | Auto merge of #107206 - cjgillot:no-h2l-map, r=WaffleLapkin | bors | -9/+6 |
| 2023-01-28 | Rename `is_object_safe` to `check_is_object_safe` to hint side effects | Gary Guo | -8/+11 |
| 2023-01-28 | Make `is_object_safe` a query and move lint_object_unsafe_trait call there | Gary Guo | -14/+32 |
| 2023-01-28 | Replace `object_safety_violations().is_empty()` calls with `is_object_safe` | Gary Guo | -3/+1 |
