| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-02-13 | also try to normalize opaque types in alias-relate | lcnr | -97/+16 |
| 2024-02-13 | Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errors | bors | -4/+7 |
| 2024-02-12 | Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obk | Matthias Krüger | -21/+24 |
| 2024-02-12 | Stop calling `impl_polarity` when `impl_trait_ref` was also called | Oli Scherer | -4/+7 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -21/+24 |
| 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 | Rollup merge of #120836 - lcnr:param-env-hide-impl, r=BoxyUwU | Matthias Krüger | -46/+72 |
| 2024-02-09 | Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnr | Matthias Krüger | -19/+10 |
| 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 | -20/+1 |
| 2024-02-08 | reviews + rebase | Boxy | -4/+3 |
| 2024-02-08 | rename `instantiate_binder_with_placeholders` | Boxy | -2/+2 |
| 2024-02-08 | introduce `enter_forall` | Boxy | -124/+143 |
| 2024-02-06 | Regular closures now built-in impls for AsyncFn* | Michael Goulet | -1/+72 |
| 2024-02-06 | add fixme | Lukas Markeffsky | -1/+4 |
| 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/+301 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -2/+17 |
| 2024-02-05 | new solver: improve normalization of `Pointee::Metadata` | Lukas Markeffsky | -18/+6 |
| 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 | -20/+1 |
| 2024-01-29 | merge builtin unsize candidates again | lcnr | -87/+41 |
| 2024-01-29 | bye bye `assemble_candidates_via_self_ty` | lcnr | -111/+31 |
| 2024-01-23 | Random type checker changes | Michael Goulet | -1/+1 |
| 2024-01-19 | Add trait obligation tracking to FulfillCtxt and expose FnCtxt in rustc_infer... | Gavin Gray | -60/+76 |
| 2024-01-15 | Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnr | Matthias Krüger | -8/+8 |
| 2024-01-13 | assert that trait solver is only created in proper infcx | Michael Goulet | -0/+5 |
| 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 |
