summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
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-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
2021-08-06Store the `DefId` of the currently typechecked item in `InferCtxt`Oli Scherer-2/+21
2021-08-06Move opaque type cache into `InferCtxt`Oli Scherer-0/+19
2021-07-31Point at unmet explicit lifetime obligation boundEsteban Küber-2/+2
2021-07-21Improve caching during trait evaluationAaron Hill-1/+6
2021-05-06remove unused variantlcnr-3/+0
2021-03-31Add tcx lifetime to BinderJack Huey-1/+1
2021-03-27Remove (lots of) dead codeJoshua Nelson-17/+0
2021-03-20update `const_eval_resolve`lcnr-5/+2
2021-03-06Change x64 size checks to not apply to x32.Harald van Dijk-1/+1
2021-01-28Rename NLL* to Nll* accordingly to C-CASEHirochika Matsumoto-7/+7
2021-01-14Use Option::map_or instead of `.map(..).unwrap_or(..)`LingMan-1/+1
2020-12-24remove redundant clones (clippy::redundant_clone)Matthias Krüger-1/+1
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-2/+3
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-5/+1
2020-11-16compiler: fold by valueBastian Kauschke-10/+10
2020-11-14Use `TypeVisitor::BreakTy` in `UnresolvedTypeFinder`LeSeulArtichaut-5/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 23:17:53 +0000