| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-10-23 | Make things work by using the new solver | Michael Goulet | -0/+10 |
| 2023-10-23 | Remove FnPtr hack from trait_ref_is_knowable | Michael Goulet | -8/+19 |
| 2023-10-23 | Handle ReErased in responses in new solver | Michael Goulet | -2/+10 |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -36/+36 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -33/+33 |
| 2023-10-18 | AliasTy::new instead of tcx method | lcnr | -7/+12 |
| 2023-10-13 | explicitly handle auto trait leakage in coherence | lcnr | -2/+3 |
| 2023-10-10 | reorder files in solve | lcnr | -4/+5 |
| 2023-09-29 | a small wf and clause cleanup | lcnr | -5/+4 |
| 2023-09-29 | Auto merge of #115843 - lcnr:bb-provisional-cache, r=compiler-errors | bors | -186/+64 |
| 2023-09-26 | Don't store lazyness in DefKind | Michael Goulet | -1/+1 |
| 2023-09-24 | Remove span from BrAnon. | Camille GILLOT | -4/+3 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -20/+8 |
| 2023-09-21 | Move `DepKind` to `rustc_query_system` and define it as `u16` | John Kåre Alsaker | -2/+2 |
| 2023-09-21 | w | lcnr | -1/+1 |
| 2023-09-21 | slight refactor, add comment | lcnr | -11/+20 |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -120/+459 |
