| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-11 | Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch... | Oli Scherer | -4/+3 |
| 2024-03-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be constrain... | Oli Scherer | -3/+3 |
| 2024-03-07 | cleanup imports | lcnr | -25/+21 |
| 2024-03-07 | move snapshot handling into mod | lcnr | -98/+3 |
| 2024-03-01 | Get rid of some sub_exp and eq_exp | Michael Goulet | -1/+5 |
| 2024-03-01 | Remove cause | Michael Goulet | -1/+0 |
| 2024-02-29 | Overhaul how stashed diagnostics work, again. | Nicholas Nethercote | -15/+0 |
| 2024-02-28 | Rename `DiagnosticBuilder` as `Diag`. | Nicholas Nethercote | -5/+5 |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -0/+1 |
| 2024-02-23 | Auto merge of #121442 - lcnr:region-var-universe-uwu, r=compiler-errors | bors | -6/+4 |
| 2024-02-22 | region unification update universe of region vars | lcnr | -6/+4 |
| 2024-02-22 | remove `sub_relations` from infcx, recompute in diagnostics | lcnr | -1/+1 |
| 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 |
