| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-03-28 | Check for overflow in assemble_candidates_after_normalizing_self_ty | Michael Goulet | -18/+53 |
| 2023-03-28 | Auto merge of #108080 - oli-obk:FnPtr-trait, r=lcnr | bors | -3/+28 |
| 2023-03-27 | Rollup merge of #109580 - compiler-errors:new-solver-fixmes, r=lcnr | Matthias Krüger | -6/+0 |
| 2023-03-27 | Add a builtin `FnPtr` trait | lcnr | -3/+28 |
| 2023-03-27 | Rollup merge of #109641 - compiler-errors:dont-elaborate-non-obl, r=oli-obk | Matthias Krüger | -1/+1 |
| 2023-03-26 | Don't elaborate non-obligations into obligations | Michael Goulet | -1/+1 |
| 2023-03-25 | Still-further-specializable projections are ambiguous | Michael Goulet | -1/+1 |
| 2023-03-25 | Remove some stale FIXMEs in new solver | Michael Goulet | -6/+0 |
| 2023-03-24 | Make EvalCtxt's infcx private | Michael Goulet | -75/+134 |
| 2023-03-24 | Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnr | Matthias Krüger | -0/+28 |
| 2023-03-23 | Return nested obligations from canonical response var unification | Michael Goulet | -24/+29 |
| 2023-03-23 | Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgr | bors | -47/+102 |
| 2023-03-23 | Remove AliasRelationDirection::Supertype | Michael Goulet | -67/+69 |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -9/+13 |
| 2023-03-23 | Include relation direction in AliasEq predicate | Michael Goulet | -26/+75 |
| 2023-03-22 | Rollup merge of #109447 - lcnr:coherence, r=compiler-errors | Matthias Krüger | -44/+112 |
| 2023-03-22 | Implement non-const Destruct trait in new solver | Michael Goulet | -0/+28 |
| 2023-03-21 | Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errors | Matthias Krüger | -6/+22 |
| 2023-03-21 | disable global caching during coherence | lcnr | -1/+2 |
| 2023-03-21 | enable `intercrate` in the solver `InferCtxt` | lcnr | -2/+8 |
| 2023-03-21 | new solver cleanup + coherence | lcnr | -41/+102 |
| 2023-03-21 | Also check function items' signatures for Fn* trait compatibility | Oli Scherer | -5/+14 |
| 2023-03-21 | Deduplicate fn trait compatibility checks | Oli Scherer | -8/+1 |
| 2023-03-21 | Only implement Fn* traits for extern "Rust" safe function pointers. | Oli Scherer | -1/+15 |
| 2023-03-17 | move `compute_goal` and `evaluate_x` methods to inner module | Boxy | -272/+272 |
| 2023-03-17 | fix bad assertion | Boxy | -13/+4 |
| 2023-03-17 | replace chain with two `add_goal` | Boxy | -16/+11 |
| 2023-03-17 | fix let else unformatting | Boxy | -5/+9 |
| 2023-03-17 | UNACEPTABLE | Boxy | -9/+9 |
| 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 |
