about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/equate.rs
AgeCommit message (Expand)AuthorLines
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-190/+0
2023-10-04Make it clear that args default to being related invariantlyMichael Goulet-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-20/+0
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-6/+6
2023-06-06New trait solver is a property of inference contextMichael Goulet-1/+1
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-1/+2
2023-05-15Replace RelationDir with VarianceMichael Goulet-3/+3
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-04Remove intercrate and mark_ambiguous from RelationMichael Goulet-8/+0
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-0/+4
2023-03-15always make `define_opaque_types` explicitlcnr-1/+3
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-4/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-4/+1
2023-02-10emit `AliasEq` when relating type and const aliasesBoxy-4/+13
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-1/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-4/+4
2022-12-13Combine projection and opaque into aliasMichael Goulet-4/+4
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-4/+4
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-3/+7
2022-12-13Fast path some binder relationsMichael Goulet-0/+5
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+4
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-0/+4
2022-09-22Comment, and bail early if bound vars list differsMichael Goulet-5/+6
2022-09-22Optimize subtyping and equation of GeneratorWitnessMichael Goulet-0/+18
2022-06-10update higher_ranked_sub docslcnr-2/+2
2022-04-17Split relate_substs into two functionsMartin Gammelsæter-1/+1
2022-03-28Remove opaque type obligation and just register opaque types as they are enco...Oli Scherer-7/+11
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-3/+19
2022-02-15Overhaul `Const`.Nicholas Nethercote-4/+4
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-19/+3
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-1/+16
2022-02-02Add roll back infrastructure for opaque type cachesOli Scherer-3/+4
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-1/+1
2021-08-18Remove box syntax from rustc_inferest31-1/+1
2021-06-06Add variance-related information to lifetime error messagesAaron Hill-0/+1
2021-03-31Add tcx lifetime to BinderJack Huey-3/+3
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+148
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 15:56:50 +0000