| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-02-14 | Rollup merge of #107739 - spastorino:check-overflow-evaluate_canonical_goal, ... | Matthias Krüger | -88/+139 |
| 2023-02-14 | Reduce visibility of some items | Santiago Pastorino | -9/+9 |
| 2023-02-14 | Check for overflow in evaluate_canonical_goal | Santiago Pastorino | -24/+46 |
| 2023-02-14 | add test for coinduction in new solver | lcnr | -2/+26 |
| 2023-02-14 | Auto merge of #103695 - LYF1999:yf/103563, r=lcnr | bors | -1/+46 |
| 2023-02-14 | s/eval_usize/eval_target_usize/ for clarity | Oli Scherer | -1/+1 |
| 2023-02-13 | Make can_eq and can_sub return booleans | Michael Goulet | -10/+11 |
| 2023-02-13 | Implement repeat_while_none for both SearchGraph and EvalCtxt | Santiago Pastorino | -24/+38 |
| 2023-02-13 | Extract try_move_finished_goal_to_global_cache from try_finalize_goal | Santiago Pastorino | -23/+34 |
| 2023-02-13 | Make Ok value of repeat_while_none more general | Santiago Pastorino | -28/+32 |
| 2023-02-13 | fix: Unexpected trait bound not satisfied in HRTB | yifei | -1/+46 |
| 2023-02-13 | Rename folder traits' `tcx` method to `interner` | Alan Egerton | -16/+16 |
| 2023-02-13 | Make folding traits generic over the Interner | Alan Egerton | -7/+7 |
| 2023-02-13 | Make visiting traits generic over the Interner | Alan Egerton | -8/+8 |
| 2023-02-13 | Workaround issue #107747 | Alan Egerton | -1/+4 |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -19/+18 |
| 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/+6 |
| 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/+6 |
| 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 #107724 - klensy:imports, r=Mark-Simulacrum | Matthias Krüger | -1/+0 |
| 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-06 | remove unused imports | klensy | -1/+0 |
| 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 |
