| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-02-17 | Replace `mk_foo` calls with `infer_foo` where possible. | Nicholas Nethercote | -2/+2 |
| 2023-02-17 | add predicate evaluation logic | Boxy | -3/+13 |
| 2023-02-17 | Add `Clause::ConstArgHasType` variant | Boxy | -0/+3 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -4/+4 |
| 2023-02-15 | don't clone types that are copy | Matthias Krüger | -1/+1 |
| 2023-02-14 | Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgr | bors | -2/+26 |
| 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-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 | Make visiting traits generic over the Interner | Alan Egerton | -1/+1 |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -1/+1 |
| 2023-02-10 | implement `compute_alias_eq_goal` | Boxy | -3/+113 |
| 2023-02-10 | add `AliasEq` to `PredicateKind` | Boxy | -0/+9 |
| 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-08 | Rollup merge of #107799 - lcnr:update-provisional-result, r=oli-obk | Michael Goulet | -5/+8 |
| 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 | -11/+11 |
| 2023-02-07 | Replacing bound vars is actually instantiating a binder | Michael Goulet | -11/+11 |
| 2023-02-07 | Rename PointerSized to PointerLike | Michael Goulet | -7/+7 |
| 2023-02-03 | intern external constraints | Michael Goulet | -21/+17 |
| 2023-02-03 | Use new helper inside probe | Wilco Kusee | -6/+2 |
| 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 #107348 - lcnr:project-solve-new, r=compiler-errors | Guillaume Gomez | -45/+86 |
| 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-29 | Auto merge of #106253 - nbdd0121:upcast, r=compiler-errors | bors | -1/+1 |
| 2023-01-29 | Rollup merge of #107401 - lenko-d:remove_the_usize_field_from_CandidateSource... | Matthias Krüger | -8/+5 |
| 2023-01-28 | Auto merge of #107303 - compiler-errors:intern-canonical-var-values, r=lcnr | bors | -26/+4 |
| 2023-01-28 | Rename `is_object_safe` to `check_is_object_safe` to hint side effects | Gary Guo | -1/+1 |
| 2023-01-28 | Use field-less variant for AliasBound. | Lenko Donchev | -6/+5 |
| 2023-01-28 | Rollup merge of #107398 - scottmcm:its-their-funeral, r=dtolnay | Matthias Krüger | -4/+4 |
| 2023-01-27 | remove the usize field from CandidateSource::AliasBound | Lenko Donchev | -7/+5 |
| 2023-01-28 | Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnr | Matthias Krüger | -23/+54 |
| 2023-01-27 | Remove `ControlFlow::{BREAK, CONTINUE}` | Scott McMurray | -4/+4 |
| 2023-01-28 | Auto merge of #101692 - cjgillot:generator-lazy-witness, r=oli-obk | bors | -6/+17 |
| 2023-01-27 | Compute generator saved locals on MIR. | Camille GILLOT | -0/+7 |
| 2023-01-27 | Micro-optimization in consider_assumption | Michael Goulet | -2/+6 |
| 2023-01-27 | Add some comments | Michael Goulet | -0/+31 |
| 2023-01-27 | No need to probe when computing goals | Michael Goulet | -21/+17 |
