summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2022-07-09Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-0/+4
2022-06-15implement (unused) matching solverNiko Matsakis-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-3/+25
2022-06-14Rollup merge of #97935 - nnethercote:rename-ConstS-val-as-kind, r=lcnrDylan DPC-2/+2
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+2
2022-06-13Remove RegionckMode in favor of calling new skip_region_resolutionJack Huey-18/+29
2022-06-10use FxHashMap instead of BTreeMaplcnr-4/+3
2022-06-10eagerly check whether we replace any bound varslcnr-1/+5
2022-06-10bound_vars -> infer: don't return lt maplcnr-3/+2
2022-06-10replace bound vars: make caching explicitlcnr-12/+24
2022-06-08Folding revamp.Nicholas Nethercote-1/+1
2022-06-03Fully stabilize NLLJack Huey-24/+1
2022-05-20update commentslcnr-1/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-2/+2
2022-04-16Rollup merge of #95908 - compiler-errors:shallow_resolve_ty-inline, r=oli-obkDylan DPC-44/+39
2022-04-16Implementation for 65853Jack Huey-2/+2
2022-04-10Inline shallow_resolve_ty into ShallowResolverMichael Goulet-44/+39
2022-04-02Rollup merge of #95560 - lcnr:obligation-cause, r=oli-obkDylan DPC-3/+7
2022-04-01convert more `DefId`s to `LocalDefId`lcnr-3/+7
2022-04-01remove `unify_key::replace_if_possible`lcnr-2/+0
2022-04-01update commentslcnr-3/+3
2022-03-31remove unused field from `infcx`lcnr-25/+2
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-18/+45
2022-03-27review comments and rebaseEsteban Kuber-8/+8
2022-03-27Eagerly replace `{integer}`/`{float}` with `i32`/`f64` for suggestionEsteban Kuber-0/+31
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-4/+4
2022-03-22dont canonicalize in try_unify_abstract_consts and erase regions insteadb-naber-8/+10
2022-03-22fix previous failures and address reviewb-naber-7/+6
2022-03-21dont try to unify unevaluated constants that contain infer varsb-naber-1/+15
2022-03-21try to evaluate in try_unifyb-naber-1/+2
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-5/+5
2022-02-23rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu-5/+5
2022-02-23rustc_errors: remove `struct_dummy`.Eduard-Mihai Burtescu-2/+4
2022-02-17Suggest copying trait associated type bounds on lifetime errorJack Huey-0/+17
2022-02-15Overhaul `Const`.Nicholas Nethercote-16/+12
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-14Call the method fork instead of clone and add proper commentsSantiago Pastorino-0/+1
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-45/+18
2022-02-08Rollup merge of #93728 - JulianKnodt:toterm, r=oli-obkMatthias Krüger-4/+23
2022-02-07Rm ValuePairs::Ty/Constkadmin-4/+22
2022-02-07Add in ValuePair::Termkadmin-0/+1
2022-02-02Simplify diffOli Scherer-2/+2
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-4/+37
2022-02-02Add roll back infrastructure for opaque type cachesOli Scherer-16/+10
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-1/+1
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-6/+3
2022-01-15initial revertEllen-6/+8
2022-01-12Don't fall back to crate-level opaque type definitions.Oli Scherer-9/+9
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 05:39:37 +0000