| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-02-22 | Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr | Matthias Krüger | -115/+1 |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -3/+7 |
| 2024-02-21 | Rollup merge of #121359 - lcnr:typesystem-cleanup, r=compiler-errors | León Orell Valerian Liehr | -63/+62 |
| 2024-02-20 | some type system cleanup | lcnr | -63/+62 |
| 2024-02-20 | Simply do not ICE | Michael Goulet | -1/+4 |
| 2024-02-19 | split `project` into multiple files | lcnr | -3/+2 |
| 2024-02-17 | Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnr | Matthias Krüger | -3/+5 |
| 2024-02-16 | Use fulfillment in next trait solver coherence | Michael Goulet | -3/+5 |
| 2024-02-16 | Move trait into attr so it's greppable | Michael Goulet | -8/+8 |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -33/+7 |
| 2024-02-15 | Consider principal trait ref's auto-trait super-traits in dyn upcasting | Michael Goulet | -8/+15 |
| 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 | Rollup merge of #120549 - lcnr:errs-showcase, r=compiler-errors | Matthias Krüger | -179/+81 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -92/+75 |
| 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 |
