| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-11 | Don't ICE when non-self part of trait goal is constrained in new solver | Michael Goulet | -1/+3 |
| 2024-02-28 | Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive` | Trevor Gross | -1/+3 |
| 2024-02-26 | add additional logging | lcnr | -1/+6 |
| 2024-02-22 | Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr | Matthias Krüger | -115/+1 |
| 2024-02-13 | Rollup merge of #121047 - compiler-errors:default-impls, r=lcnr | Matthias Krüger | -0/+14 |
| 2024-02-13 | Do not assemble candidates for default impls | Michael Goulet | -0/+14 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -28/+12 |
| 2024-02-10 | Gracefully handle non-WF alias in assemble_alias_bound_candidates_recur | Michael Goulet | -2/+6 |
| 2024-02-10 | Rollup merge of #120584 - compiler-errors:u, r=lcnr | Matthias Krüger | -9/+62 |
| 2024-02-09 | hide impls if trait bound is proven from env | lcnr | -46/+66 |
| 2024-02-09 | add comment | lcnr | -0/+6 |
| 2024-02-09 | make it recursive | Michael Goulet | -84/+90 |
| 2024-02-09 | For a rigid projection, recursively look at the self type's item bounds | Michael Goulet | -41/+88 |
| 2024-02-08 | Rollup merge of #120590 - compiler-errors:dead, r=Nilstrieb | Matthias Krüger | -1/+1 |
| 2024-02-06 | Bless tests, add comments | Michael Goulet | -1/+3 |
| 2024-02-06 | Teach typeck/borrowck/solvers how to deal with async closures | Michael Goulet | -0/+18 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -1/+4 |
| 2024-02-03 | No need to validate_alias_bound_self_from_param_env in assemble_alias_bound_c... | Michael Goulet | -115/+1 |
| 2024-02-02 | Remove dead args from functions | Michael Goulet | -1/+1 |
| 2024-01-29 | merge builtin unsize candidates again | lcnr | -31/+0 |
| 2024-01-29 | bye bye `assemble_candidates_via_self_ty` | lcnr | -106/+28 |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 |
| 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 | -1/+1 |
| 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-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-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 | -7/+7 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -7/+7 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -5/+3 |
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -64/+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-12 | normalize in `trait_ref_is_knowable` in new solver | lcnr | -19/+35 |
| 2023-08-07 | Rollup merge of #114196 - compiler-errors:bubble-pls, r=lcnr | Matthias Krüger | -10/+6 |
| 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-07-29 | Bubble up nested goals from equation in predicates_for_object_candidate | Michael Goulet | -10/+6 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -4/+4 |
