| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-09-11 | add `is_host_effect` to `GenericParamDefKind::Const` and address review | Deadbeef | -4/+3 |
| 2023-09-10 | Implement fallback for effect param | Deadbeef | -8/+68 |
| 2023-09-07 | Use `newtype_index` for `IntVid` and `FloatVid`. | Nicholas Nethercote | -2/+2 |
| 2023-08-03 | Rework upcasting | Michael Goulet | -0/+2 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -22/+22 |
| 2023-07-06 | Add a new trait to `Debug` things with an infcx available | Boxy | -0/+38 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -16/+19 |
| 2023-07-05 | Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errors | Michael Goulet | -1/+1 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -13/+14 |
| 2023-07-04 | `TypeParameterDefinition` always require a `DefId` | lcnr | -1/+1 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -28/+13 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -28/+13 |
| 2023-06-24 | instantiate hidden types in root universe | Ali MJ Al-Nasrawy | -0/+1 |
| 2023-06-07 | Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnr | Dylan DPC | -0/+17 |
| 2023-06-06 | Fix comment for `get_region_var_origins` | Nilstrieb | -5/+5 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -0/+17 |
| 2023-05-30 | rework the leak_check to take the outer_universe | lcnr | -33/+22 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -1/+1 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -12/+1 |
| 2023-05-16 | Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obk | Nilstrieb | -1/+1 |
| 2023-05-15 | Combine TypeGeneralizer and Generalizer | Michael Goulet | -0/+1 |
| 2023-05-15 | Suppress "erroneous constant used" for constants tainted by errors | Tomasz Miąsko | -1/+1 |
| 2023-05-09 | add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_const | Kyle Matsuda | -1/+1 |
| 2023-05-03 | remove `inside_canonicalization_ctxt` flag | lcnr | -32/+0 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -2/+2 |
| 2023-04-22 | Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjay | bors | -2/+2 |
