| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-12-18 | track the source of nested goals | lcnr | -8/+15 |
| 2023-12-08 | Implement `async gen` blocks | Michael Goulet | -0/+7 |
| 2023-12-08 | implement and use `NormalizesTo` | lcnr | -5/+3 |
| 2023-11-29 | new solver: improve instrument annotations | lcnr | -0/+2 |
| 2023-11-26 | Clean dead codes | r0cky | -2/+0 |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -4/+4 |
| 2023-11-20 | handle reservation impls, track impl source | lcnr | -5/+3 |
| 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 | -11/+6 |
| 2023-11-13 | update type flags | lcnr | -1/+1 |
| 2023-11-13 | rename `ReLateBound` to `ReBound` | lcnr | -1/+1 |
| 2023-11-09 | update overflow handling for norm, add test | lcnr | -1/+1 |
| 2023-11-09 | `try_normalize_ty` end with rigid alias on failure | lcnr | -10/+5 |
| 2023-11-08 | instrument constituent types computation | lcnr | -0/+3 |
| 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 | -1/+11 |
| 2023-10-27 | Make `gen` blocks implement the `Iterator` trait | Oli Scherer | -1/+11 |
| 2023-10-23 | Make things work by using the new solver | Michael Goulet | -0/+2 |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -15/+15 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -16/+16 |
| 2023-09-24 | Remove span from BrAnon. | Camille GILLOT | -3/+2 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -14/+6 |
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -64/+6 |
| 2023-09-02 | Do not require associated types with Self: Sized to uphold bounds when confir... | Michael Goulet | -3/+3 |
| 2023-09-02 | RPITITs are considered object-safe, they're always on Self:Sized methods | Michael Goulet | -0/+6 |
| 2023-08-15 | Rollup merge of #114829 - compiler-errors:next-solver-only-unsize-to-dyn-once... | Guillaume Gomez | -10/+33 |
| 2023-08-15 | Separate consider_unsize_to_dyn_candidate from other unsize candidates | Michael Goulet | -10/+33 |
| 2023-08-15 | Only consider object candidates for object-safe dyn types | Michael Goulet | -0/+5 |
| 2023-08-13 | Auto merge of #114457 - lcnr:trait_ref_is_knowable-normalize, r=compiler-errors | bors | -19/+35 |
| 2023-08-12 | normalize in `trait_ref_is_knowable` in new solver | lcnr | -19/+35 |
| 2023-08-11 | remove builtin impl for float and int infer | lcnr | -4/+2 |
| 2023-08-07 | Rollup merge of #114196 - compiler-errors:bubble-pls, r=lcnr | Matthias Krüger | -23/+24 |
| 2023-08-03 | handle overflow in the `EvalCtxt` separately | lcnr | -40/+34 |
| 2023-08-03 | avoid more `ty::Binder:dummy` | lcnr | -4/+1 |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -1/+0 |
| 2023-08-01 | Convert adt_sized_constraint to early-binder, use list | Michael Goulet | -1/+1 |
| 2023-07-29 | Bubble up nested goals from equation in predicates_for_object_candidate | Michael Goulet | -23/+24 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -4/+4 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -52/+63 |
| 2023-07-25 | Consolidate trait upcasting and unsize into one normalization | Michael Goulet | -15/+10 |
| 2023-07-24 | Rollup merge of #113987 - compiler-errors:comments, r=lcnr | Matthias Krüger | -0/+2 |
| 2023-07-23 | Comment stuff in the new solver | Michael Goulet | -0/+2 |
| 2023-07-20 | update doc comments | lcnr | -10/+17 |
| 2023-07-20 | review | lcnr | -4/+4 |
| 2023-07-20 | re-add comment | lcnr | -0/+6 |
| 2023-07-20 | assembly: only consider blanket impls once | lcnr | -65/+208 |
| 2023-07-17 | Rename arg_iter to iter_instantiated | Michael Goulet | -2/+3 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -26/+27 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -5/+3 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -3/+3 |
