summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
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
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-2/+2
2021-12-05Rollup merge of #90023 - b-naber:postpone_const_eval_infer_vars, r=nikomatsakisMatthias Krüger-4/+19
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-11/+8
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-3/+3
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-5/+8
2021-11-22Use `derive_default_enum` in the compilerJacob Pratt-7/+2
2021-11-11Remove unused field of `RegionVariableOrigin`Matthew Jasper-2/+2
2021-11-07Remove some fields from `ObligationCauseCode`Matthew Jasper-16/+2
2021-11-06Improve terminology around "after typeck"pierwill-1/+1
2021-11-06Auto merge of #89970 - jackh726:gats_diagnostics, r=nikomatsakisbors-3/+18
2021-11-05resolve variables before erasing lifetimesb-naber-4/+5
2021-11-05postpone evaluation of constants whose substs depend on inference vars or reg...b-naber-3/+17
2021-10-18Member constraints already covered all of E0482 already, so that error never ...Oli Scherer-4/+0
2021-10-16Change outlives clause checking algorithmjackh726-3/+18
2021-09-28More tracing instrumentationOli Scherer-8/+8
2021-09-23Auto merge of #88804 - Mark-Simulacrum:never-algo-v2, r=nikomatsakis,jackh726bors-25/+10
2021-09-20Add helper function to `InferCtxt` that generates inference vars for unresolv...Oli Scherer-0/+1
2021-09-17stop categorizing inference variables as diverging when createdNiko Matsakis-31/+5
2021-09-17introduce new fallback algorithmNiko Matsakis-1/+12
2021-09-07Detect stricter constraints on gats where clauses in impls vs traitjackh726-0/+21
2021-08-26shrink `ty::PredicateKind` againlcnr-2/+2
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-4/+1
2021-08-26make unevaluated const substs optionallcnr-5/+5
2021-08-22Auto merge of #88166 - BoxyUwU:const-equate-canon, r=lcnrbors-0/+16
2021-08-20move `fallback_if_possible` and friends to fallback.rsNiko Matsakis-23/+18
2021-08-20move the `sub-unify` check and extend the documentation a bitNiko Matsakis-15/+19
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+29
2021-08-19introduce a `Diverging` enum instead of a boolNiko Matsakis-8/+12
2021-08-19move code to `InferCtxt` methodEllen-0/+16
2021-08-15Report nicer errors for HRTB NLL errors from queriesMatthew Jasper-1/+12
2021-08-15Track causes for universes created during borrowckMatthew Jasper-1/+1
2021-08-15Show bound lifetimes when comparing types in diagnosticsMatthew Jasper-0/+1
2021-08-06Document `with_opaque_type_inference`'s use cases.Oli Scherer-0/+4
2021-08-06Use existing type alias instead of manually writing itOli Scherer-4/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 05:24:26 +0000