| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-02-22 | region unification update universe of region vars | lcnr | -6/+4 |
| 2024-02-21 | Rollup merge of #121206 - nnethercote:top-level-error-handling, r=oli-obk | Matthias Krüger | -3/+6 |
| 2024-02-22 | Adjust the `has_errors*` methods. | Nicholas Nethercote | -3/+6 |
| 2024-02-21 | Inline NllTypeRelating into its only usage site | Michael Goulet | -1/+0 |
| 2024-02-16 | Move trait into attr so it's greppable | Michael Goulet | -2/+2 |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -5/+2 |
| 2024-02-13 | also try to normalize opaque types in alias-relate | lcnr | -0/+6 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -12/+12 |
| 2024-02-09 | Rollup merge of #120828 - nnethercote:fix-stash-steal, r=oli-obk | Matthias Krüger | -19/+24 |
| 2024-02-09 | Fix `ErrorGuaranteed` unsoundness with stash/steal. | Nicholas Nethercote | -19/+24 |
| 2024-02-08 | Rollup merge of #120590 - compiler-errors:dead, r=Nilstrieb | Matthias Krüger | -3/+3 |
| 2024-02-08 | reviews + rebase | Boxy | -2/+0 |
| 2024-02-08 | rename `instantiate_binder_with_placeholders` | Boxy | -2/+2 |
| 2024-02-08 | introduce `enter_forall` | Boxy | -9/+12 |
| 2024-02-06 | Rollup merge of #120670 - lcnr:effect-var-storage, r=fee1-dead | Matthias Krüger | -6/+9 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -3/+7 |
| 2024-02-05 | cleanup effect var handling | lcnr | -6/+9 |
| 2024-02-02 | Remove dead args from functions | Michael Goulet | -3/+3 |
| 2024-01-25 | Track ErrorGuaranteed instead of conjuring it from thin air | Oli Scherer | -1/+2 |
| 2024-01-20 | Rollup merge of #119613 - gavinleroy:expose-obligations, r=lcnr | Matthias Krüger | -1/+15 |
| 2024-01-19 | Add trait obligation tracking to FulfillCtxt and expose FnCtxt in rustc_infer... | Gavin Gray | -1/+15 |
| 2024-01-16 | don't store const var origins for known vars | lcnr | -14/+7 |
| 2024-01-12 | rename `reported_signature_mismatch` to reflect its use | lcnr | -2/+2 |
| 2024-01-10 | Add `DiagCtxt::delayed_bug`. | Nicholas Nethercote | -5/+3 |
| 2023-12-24 | Remove more `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -4/+4 |
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -2/+6 |
| 2023-12-23 | Give `DiagnosticBuilder` a default type. | Nicholas Nethercote | -4/+4 |
| 2023-12-19 | subtype_predicate: remove unnecessary probe | lcnr | -12/+3 |
| 2023-12-15 | Move nll_relate to relate::nll submodule | Michael Goulet | -1/+1 |
| 2023-12-15 | Add higher_ranked to relate submodule | Michael Goulet | -1/+0 |
| 2023-12-15 | Move type relations into submodule in rustc_infer | Michael Goulet | -9/+3 |
| 2023-12-15 | Opportunistically resolve region var in canonicalizer | Michael Goulet | -10/+2 |
| 2023-12-12 | Auto merge of #118742 - lcnr:infer-var-cleanup, r=compiler-errors | bors | -12/+8 |
| 2023-12-08 | Uplift canonicalizer into new trait solver crate | Michael Goulet | -22/+50 |
| 2023-12-08 | cleanup type variable storage | lcnr | -12/+8 |
| 2023-12-02 | Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`. | Nicholas Nethercote | -1/+1 |
| 2023-11-29 | Rollup merge of #118269 - compiler-errors:poly, r=wesleywiser | Matthias Krüger | -1/+0 |
| 2023-11-24 | Unify TraitRefs and PolyTraitRefs | Michael Goulet | -1/+0 |
| 2023-11-23 | remove unused pub fn | klensy | -12/+1 |
| 2023-11-21 | Restore closure-kind error messages | Michael Goulet | -2/+4 |
| 2023-11-14 | finish `RegionKind` rename | lcnr | -3/+6 |
| 2023-11-13 | continue renaming | lcnr | -11/+11 |
| 2023-10-24 | Get rid of 'tcx on ConstVid, EffectVid | Michael Goulet | -38/+45 |
| 2023-10-23 | Remove redundant type parameter | Michael Goulet | -1/+3 |
| 2023-10-18 | Don't ICE when encountering unresolved regions in fully_resolve | Michael Goulet | -7/+20 |
| 2023-09-22 | Allow higher-ranked fn sigs in ValuePairs | Michael Goulet | -1/+1 |
| 2023-09-18 | Auto merge of #115748 - RalfJung:post-mono, r=oli-obk | bors | -2/+5 |
| 2023-09-15 | Canonicalize effect vars in new solver | Michael Goulet | -0/+4 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -2/+5 |
| 2023-09-11 | Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obk | Matthias Krüger | -8/+67 |
