| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-03-17 | add comments | Boxy | -0/+5 |
| 2023-03-17 | add assert | Boxy | -2/+9 |
| 2023-03-17 | review nits | Boxy | -14/+18 |
| 2023-03-16 | replace usage of `evaluate_goal` with a new `add_goal` | Boxy | -254/+336 |
| 2023-03-15 | always make `define_opaque_types` explicit | lcnr | -4/+4 |
| 2023-03-13 | Better names? | Michael Goulet | -2/+2 |
| 2023-03-13 | Treat projections with infer as placeholder during fast reject in new solver | Michael Goulet | -2/+10 |
| 2023-03-12 | Rollup merge of #108726 - est31:backticks_matchmaking_tidy, r=Nilstrieb | Matthias Krüger | -1/+2 |
| 2023-03-11 | Add a fixme and address a more non trivial case | est31 | -1/+2 |
| 2023-03-11 | Rollup merge of #108071 - compiler-errors:new-solver-caching, r=lcnr | Matthias Krüger | -170/+76 |
| 2023-03-10 | Actually cache goals | Michael Goulet | -70/+60 |
| 2023-03-10 | Move some solver stuff to middle | Michael Goulet | -100/+16 |
| 2023-03-10 | Rollup merge of #108828 - compiler-errors:new-solver-alias-eq-on-num-var, r=lcnr | Matthias Krüger | -4/+4 |
| 2023-03-10 | Unconstrained terms should account for infer vars being equated | Michael Goulet | -15/+20 |
| 2023-03-09 | Fix canonicalizer bug for int/float vars too | Michael Goulet | -4/+4 |
| 2023-03-07 | fix var equality issue with old canonicalizer | Michael Goulet | -1/+0 |
| 2023-03-07 | Canonicalize the ROOT VAR | Michael Goulet | -11/+34 |
| 2023-03-05 | drop_tracking_mir: support new solver. | Camille GILLOT | -1/+1 |
| 2023-03-03 | canonicalization | lcnr | -73/+670 |
| 2023-02-26 | Rollup merge of #107941 - compiler-errors:str-has-u8-slice-for-auto, r=lcnr | Matthias Krüger | -1/+3 |
| 2023-02-25 | Treat `str` as containing `[u8]` for auto trait purposes | Michael Goulet | -1/+3 |
| 2023-02-25 | Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnr | Michael Goulet | -3/+207 |
| 2023-02-24 | Comments, another test | Michael Goulet | -2/+41 |
| 2023-02-24 | Make higher-ranked projections in object types work in new solver | Michael Goulet | -18/+31 |
| 2023-02-24 | Check object's supertrait and associated type bounds in new solver | Michael Goulet | -2/+154 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -12/+11 |
| 2023-02-22 | Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_misc | Michael Goulet | -1/+1 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -7/+10 |
| 2023-02-22 | Move some InferCtxt methods to EvalCtxt in new solver | Michael Goulet | -226/+228 |
| 2023-02-21 | Make hidden type registration opt-in, so that each site can be reviewed on it... | Oli Scherer | -1/+0 |
| 2023-02-18 | Add consider_implied_clause | Michael Goulet | -102/+97 |
| 2023-02-18 | Check that built-in callable types validate their output type is `Sized` (in ... | Michael Goulet | -14/+45 |
| 2023-02-18 | Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com... | bors | -3/+3 |
| 2023-02-17 | Remove the `InternIteratorElement` impl for `&'a T`. | Nicholas Nethercote | -1/+1 |
| 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 |
