about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/combine.rs
AgeCommit message (Expand)AuthorLines
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-8/+2
2022-11-28Remove `tcx.mk_const_var`Maybe Waffle-2/+2
2022-11-21Test generalization during coherenceOli Scherer-1/+5
2022-11-21Add some more assertions for type relations not used during coherenceOli Scherer-2/+3
2022-11-21Type generalization should not look at opaque type in coherenceOli Scherer-2/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+18
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-0/+9
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-0/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-4/+5
2022-11-14Drop `relate_opaque_item_substs`.Camille GILLOT-0/+1
2022-11-04Refactor tcx mk_const parameters.Mateusz-8/+8
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-4/+4
2022-09-23Auto merge of #102056 - b-naber:unevaluated, r=lcnrbors-8/+4
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-4/+4
2022-09-22introduce mir::Unevaluatedb-naber-8/+4
2022-09-22Const unification is already infallible, remove the error handling logicOli Scherer-26/+11
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-2/+5
2022-09-08Remove ReEmptyJack Huey-2/+0
2022-09-08don't evaluate with escaping bound varslcnr-6/+2
2022-09-08generalize: no need to cache errorslcnr-6/+6
2022-09-01tracing::instrument cleanupOli Scherer-18/+5
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-2/+2
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-5/+5
2022-06-09rewrite combine doc commentlcnr-23/+23
2022-05-16remove the `RelateResultCompare` traitlcnr-15/+0
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1
2022-04-17Split relate_substs into two functionsMartin Gammelsæter-2/+8
2022-04-01remove `unify_key::replace_if_possible`lcnr-7/+4
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-12/+14
2022-02-15Overhaul `Const`.Nicholas Nethercote-24/+24
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-1/+1
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-14/+12
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-12/+14
2022-01-15initial revertEllen-10/+10
2021-12-29Refactor variance diagnostics to work with more typesAaron Hill-2/+3
2021-12-19Rollup merge of #91878 - LegionMammal978:less-inband-infer, r=Aaron1011Matthias Krüger-2/+2
2021-12-17Eliminate duplicate codes of expected_found_boollzh-4/+4
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-2/+2
2021-10-29don't mutably borrow inner infcx in all of ConstInferUnifier::constsb-naber-9/+20
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-2/+3
2021-09-17stop categorizing inference variables as diverging when createdNiko Matsakis-7/+8
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-2/+3
2021-08-30`feature(const_generics)` -> `feature(const_param_types)`lcnr-1/+1
2021-08-26don't just compare `ty::Const`lcnr-0/+2
2021-08-26make unevaluated const substs optionallcnr-10/+8
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-05 22:48:46 +0000