| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-14 | Rollup merge of #122238 - fee1-dead-contrib:builtin-impl-next-solver-dox, r=lcnr | Matthias Krüger | -0/+10 |
| 2024-03-14 | move impl documentation to their actual locations | Deadbeef | -0/+10 |
| 2024-03-11 | Don't ICE when non-self part of trait goal is constrained in new solver | Michael Goulet | -1/+3 |
| 2024-03-01 | Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errors | bors | -1/+3 |
| 2024-02-28 | Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive` | Trevor Gross | -1/+3 |
| 2024-02-27 | Add a couple helpers, make return types less confusing | Michael Goulet | -75/+114 |
| 2024-02-27 | Support `{async closure}: Fn` in new solver | Michael Goulet | -1/+73 |
| 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-12 | Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obk | Matthias Krüger | -1/+1 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -1/+1 |
| 2024-02-10 | Gracefully handle non-WF alias in assemble_alias_bound_candidates_recur | Michael Goulet | -2/+6 |
| 2024-02-10 | Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obk | bors | -55/+123 |
| 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-08 | reviews + rebase | Boxy | -1/+3 |
| 2024-02-08 | introduce `enter_forall` | Boxy | -25/+28 |
| 2024-02-06 | Regular closures now built-in impls for AsyncFn* | Michael Goulet | -1/+72 |
| 2024-02-06 | Flatten confirmation logic | Michael Goulet | -54/+51 |
| 2024-02-06 | More comments, final tweaks | Michael Goulet | -6/+18 |
| 2024-02-06 | Bless tests, add comments | Michael Goulet | -7/+10 |
| 2024-02-06 | Construct body for by-move coroutine closure output | Michael Goulet | -0/+1 |
| 2024-02-06 | Teach typeck/borrowck/solvers how to deal with async closures | Michael Goulet | -1/+128 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -1/+13 |
| 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 | Movability doesn't need to be a query anymore | Michael Goulet | -1/+1 |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -11/+13 |
| 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 |
