summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2024-01-25Track ErrorGuaranteed instead of conjuring it from thin airOli Scherer-1/+2
2024-01-20Rollup merge of #119613 - gavinleroy:expose-obligations, r=lcnrMatthias Krüger-1/+15
2024-01-19Add trait obligation tracking to FulfillCtxt and expose FnCtxt in rustc_infer...Gavin Gray-1/+15
2024-01-16don't store const var origins for known varslcnr-14/+7
2024-01-12rename `reported_signature_mismatch` to reflect its uselcnr-2/+2
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-5/+3
2023-12-24Remove more `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-4/+4
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+6
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-4/+4
2023-12-19subtype_predicate: remove unnecessary probelcnr-12/+3
2023-12-15Move nll_relate to relate::nll submoduleMichael Goulet-1/+1
2023-12-15Add higher_ranked to relate submoduleMichael Goulet-1/+0
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-9/+3
2023-12-15Opportunistically resolve region var in canonicalizerMichael Goulet-10/+2
2023-12-12Auto merge of #118742 - lcnr:infer-var-cleanup, r=compiler-errorsbors-12/+8
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-22/+50
2023-12-08cleanup type variable storagelcnr-12/+8
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-29Rollup merge of #118269 - compiler-errors:poly, r=wesleywiserMatthias Krüger-1/+0
2023-11-24Unify TraitRefs and PolyTraitRefsMichael Goulet-1/+0
2023-11-23remove unused pub fnklensy-12/+1
2023-11-21Restore closure-kind error messagesMichael Goulet-2/+4
2023-11-14finish `RegionKind` renamelcnr-3/+6
2023-11-13continue renaminglcnr-11/+11
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-38/+45
2023-10-23Remove redundant type parameterMichael Goulet-1/+3
2023-10-18Don't ICE when encountering unresolved regions in fully_resolveMichael Goulet-7/+20
2023-09-22Allow higher-ranked fn sigs in ValuePairsMichael Goulet-1/+1
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-2/+5
2023-09-15Canonicalize effect vars in new solverMichael Goulet-0/+4
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-2/+5
2023-09-11Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obkMatthias Krüger-8/+67
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-4/+3
2023-09-10Implement fallback for effect paramDeadbeef-8/+68
2023-09-07Use `newtype_index` for `IntVid` and `FloatVid`.Nicholas Nethercote-2/+2
2023-08-03Rework upcastingMichael Goulet-0/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-22/+22
2023-07-06Add a new trait to `Debug` things with an infcx availableBoxy-0/+38
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-16/+19
2023-07-05Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errorsMichael Goulet-1/+1
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-13/+14
2023-07-04`TypeParameterDefinition` always require a `DefId`lcnr-1/+1
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-28/+13
2023-06-29change snapshot tracking in fulfillment contextslcnr-28/+13
2023-06-24instantiate hidden types in root universeAli MJ Al-Nasrawy-0/+1
2023-06-07Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnrDylan DPC-0/+17
2023-06-06Fix comment for `get_region_var_origins`Nilstrieb-5/+5
2023-06-06New trait solver is a property of inference contextMichael Goulet-0/+17
2023-05-30rework the leak_check to take the outer_universelcnr-33/+22
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 13:34:24 +0000