| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-01-12 | Remove redundant Code from FulfillmentErrorCode variants | Michael Goulet | -8/+8 |
| 2024-01-12 | Rollup merge of #119817 - compiler-errors:normalize-opaques, r=lcnr | Guillaume Gomez | -19/+22 |
| 2024-01-12 | Auto merge of #119735 - lcnr:provisional-cache-readd, r=compiler-errors | bors | -111/+265 |
| 2024-01-11 | Remove special-casing around aliaskind in new solver | Michael Goulet | -19/+22 |
| 2024-01-10 | More comments | Michael Goulet | -10/+30 |
| 2024-01-10 | Check reveal and can_define_opaque_ty in try_normalize_ty_recur | Michael Goulet | -12/+16 |
| 2024-01-09 | this is not a rust code snippet | lcnr | -4/+5 |
| 2024-01-09 | add comments and tests | lcnr | -36/+58 |
| 2024-01-09 | avoid always rerunning in case of a cycle | lcnr | -34/+71 |
| 2024-01-09 | readd the provisional cache | lcnr | -62/+161 |
| 2024-01-08 | `all` to `any` | lcnr | -5/+5 |
| 2024-01-08 | do not track root depth of cycles | lcnr | -37/+32 |
| 2024-01-08 | use doc comments | lcnr | -3/+3 |
| 2023-12-28 | Movability doesn't need to be a query anymore | Michael Goulet | -2/+2 |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -22/+24 |
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -2/+2 |
| 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 |
