| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-01 | Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ... | Matthias Krüger | -121/+187 |
| 2024-03-01 | normalizes-to: handle negative impls | lcnr | -3/+16 |
| 2024-03-01 | Auto merge of #121462 - compiler-errors:eq-and-sub, r=lcnr | bors | -1/+0 |
| 2024-03-01 | Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errors | bors | -1/+3 |
| 2024-03-01 | Get rid of some sub_exp and eq_exp | Michael Goulet | -1/+0 |
| 2024-02-29 | Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errors | Matthias Krüger | -4/+1 |
| 2024-02-29 | stash overflowing obligations in fulfill | lcnr | -12/+75 |
| 2024-02-29 | extract fulfillment err creation | lcnr | -82/+73 |
| 2024-02-29 | distinguish recursion limit based overflow for diagnostics | lcnr | -35/+47 |
| 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 | -116/+172 |
| 2024-02-27 | Support `{async closure}: Fn` in new solver | Michael Goulet | -1/+73 |
| 2024-02-27 | safe transmute: revise safety analysis | Jack Wrenn | -4/+1 |
| 2024-02-26 | consider placeholders in `fn term_is_fully_unconstrained` | lcnr | -37/+49 |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -219/+232 |
| 2024-02-26 | add additional logging | lcnr | -1/+7 |
| 2024-02-22 | Auto merge of #119989 - lcnr:sub_relations-bye-bye, r=compiler-errors | bors | -3/+7 |
| 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 |
