about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/combine.rs
AgeCommit message (Expand)AuthorLines
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-611/+0
2023-12-15Annotate some bugsMichael Goulet-9/+13
2023-12-13global param_env canonicalization cacheAli MJ Al-Nasrawy-1/+1
2023-12-08update fixmelcnr-4/+3
2023-12-08implement and use `NormalizesTo`lcnr-26/+40
2023-12-07avoid instantiating infer vars with inferlcnr-1/+7
2023-12-04cleanup and commentslcnr-7/+9
2023-12-04generalize: handle occurs check failure in aliaseslcnr-14/+46
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-2/+2
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-4/+4
2023-09-10Implement fallback for effect paramDeadbeef-5/+64
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-3/+3
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-3/+3
2023-07-04Replace `const_error` methods with `Const::new_error`Boxy-2/+2
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-1/+3
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+3
2023-06-18Treat TAIT equation as always ambiguous in coherenceMichael Goulet-7/+4
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-12extend assertlcnr-3/+3
2023-06-06Make TraitEngine::new use the right solver, add compare modeMichael Goulet-11/+9
2023-06-06New trait solver is a property of inference contextMichael Goulet-17/+17
2023-06-02Normalize anon consts in new solverMichael Goulet-1/+1
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-1/+1
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-4/+1
2023-05-15Replace RelationDir with VarianceMichael Goulet-57/+20
2023-05-15Rename super_relate_* to structurally_relate_*Michael Goulet-2/+2
2023-05-15yeet ConstInferUnifierMichael Goulet-160/+17
2023-05-15Simplify delegateMichael Goulet-19/+11
2023-05-15Combine TypeGeneralizer and GeneralizerMichael Goulet-333/+15
2023-05-14Rename const error methods for consistencyMichael Goulet-2/+2
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-1/+2
2023-05-05forbid escaping bound vars in combinelcnr-14/+8
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+2
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-04Remove intercrate and mark_ambiguous from RelationMichael Goulet-12/+12
2023-03-23Remove AliasRelationDirection::SupertypeMichael Goulet-6/+6
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-3/+3
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-3/+5
2023-03-19Constrain const vars to error if const types are mismatchedMichael Goulet-4/+13
2023-03-15always make `define_opaque_types` explicitlcnr-7/+2
2023-03-10Rollup merge of #108947 - compiler-errors:ct-infer-no-shapeshifting, r=BoxyUwUMatthias Krüger-7/+15
2023-03-09Bail in combine if consts have different typesMichael Goulet-7/+15
2023-03-09Emit alias-eq when equating numeric var and projectionMichael Goulet-8/+18
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-8/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-8/+2
2023-02-16don't into selfMatthias Krüger-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-28 15:59:37 +0000