| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-12-19 | add comment | lcnr | -0/+14 |
| 2023-12-18 | dont discard overflow from normalizes-to goals | lcnr | -22/+45 |
| 2023-12-18 | track the source of nested goals | lcnr | -77/+145 |
| 2023-12-15 | Annotate some bugs | Michael Goulet | -2/+9 |
| 2023-12-14 | Unconditionally register alias-relate in projection goal | Michael Goulet | -11/+23 |
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -4/+4 |
| 2023-12-14 | update use of feature flags | lcnr | -5/+4 |
| 2023-12-14 | rename `-Ztrait-solver` to `-Znext-solver` | lcnr | -4/+5 |
| 2023-12-12 | refactor writeback: emit normalization errors with new solver | lcnr | -5/+4 |
| 2023-12-08 | Rollup merge of #117586 - compiler-errors:the-canonicalizer, r=lcnr | Matthias Krüger | -430/+1 |
| 2023-12-08 | Uplift canonicalizer into new trait solver crate | Michael Goulet | -430/+1 |
| 2023-12-08 | Implement `async gen` blocks | Michael Goulet | -0/+65 |
| 2023-12-08 | implement and use `NormalizesTo` | lcnr | -61/+71 |
| 2023-12-07 | add unused `NormalizesTo` predicate | lcnr | -0/+6 |
| 2023-12-05 | Continue folding if deep normalizer fails | Michael Goulet | -14/+40 |
| 2023-12-05 | Add deeply_normalize_for_diagnostics, use it in coherence | Michael Goulet | -2/+18 |
| 2023-12-02 | Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`. | Nicholas Nethercote | -2/+2 |
| 2023-11-29 | new solver: improve instrument annotations | lcnr | -1/+4 |
| 2023-11-26 | Clean dead codes | r0cky | -17/+0 |
| 2023-11-25 | Rollup merge of #118259 - spastorino:move-eager-resolver-to-infer, r=compiler... | León Orell Valerian Liehr | -80/+5 |
| 2023-11-24 | Move EagerResolution to rustc_infer::infer::resolve | Santiago Pastorino | -80/+5 |
| 2023-11-24 | Rollup merge of #118243 - lcnr:commit-if-ok, r=compiler-errors | Michael Goulet | -9/+9 |
| 2023-11-24 | EvalCtxt::commit_if_ok don't inherit nested goals | lcnr | -9/+9 |
| 2023-11-22 | Auto merge of #118120 - compiler-errors:closure-kind, r=lcnr | bors | -3/+0 |
| 2023-11-22 | Replace `no_ord_impl` with `orderable`. | Nicholas Nethercote | -0/+1 |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -5/+5 |
| 2023-11-21 | Remove ClosureKind predicate kind | Michael Goulet | -3/+0 |
| 2023-11-20 | handle reservation impls, track impl source | lcnr | -25/+45 |
| 2023-11-20 | self ty infer ambiguity: add proof tree cand | lcnr | -11/+16 |
| 2023-11-17 | Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errors | bors | -291/+287 |
| 2023-11-15 | Auto merge of #117878 - gavinleroy:proper-depth-check, r=lcnr | bors | -1/+1 |
| 2023-11-14 | finish `RegionKind` rename | lcnr | -1/+1 |
| 2023-11-13 | Rollup merge of #117870 - lcnr:rename-args_ref, r=compiler-errors | Matthias Krüger | -4/+2 |
| 2023-11-13 | Fix overflow and cycle bound for ProofTreeVisitor. | Gavin Gray | -1/+1 |
| 2023-11-13 | update type flags | lcnr | -1/+1 |
| 2023-11-13 | continue renaming | lcnr | -2/+2 |
| 2023-11-13 | rename `ReLateBound` to `ReBound` | lcnr | -4/+4 |
| 2023-11-13 | args~~_ref~~_may_unify | lcnr | -4/+2 |
| 2023-11-09 | remove stability assert in `evaluate_goal` | lcnr | -98/+8 |
| 2023-11-09 | update overflow handling for norm, add test | lcnr | -2/+2 |
| 2023-11-09 | rework alias-relate to `norm(lhs) == norm(rhs)` | lcnr | -165/+140 |
| 2023-11-09 | only instantiate opaques with rigid types | lcnr | -17/+22 |
| 2023-11-09 | `try_normalize_ty` end with rigid alias on failure | lcnr | -30/+136 |
| 2023-11-08 | instrument constituent types computation | lcnr | -0/+3 |
| 2023-11-02 | Rollup merge of #117394 - lcnr:proof-tree-cache4, r=compiler-errors | Matthias Krüger | -97/+94 |
| 2023-11-02 | use global cache when computing proof trees | lcnr | -97/+94 |
| 2023-10-30 | Some more coroutine renamings | Michael Goulet | -1/+1 |
| 2023-10-29 | Auto merge of #116447 - oli-obk:gen_fn, r=compiler-errors | bors | -4/+69 |
| 2023-10-27 | Make `gen` blocks implement the `Iterator` trait | Oli Scherer | -4/+69 |
| 2023-10-26 | Auto merge of #112875 - compiler-errors:negative-coherence-rework, r=lcnr | bors | -8/+29 |
