summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/sub.rs
AgeCommit message (Expand)AuthorLines
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/+5
2022-11-18require an `ErrorGuaranteed` to taint infcx with errorsBoxy-3/+3
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-3/+3
2022-10-26Remove unneeded sub-comparisonOli Scherer-31/+8
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
2022-09-22Comment, and bail early if bound vars list differsMichael Goulet-6/+5
2022-09-22Optimize subtyping and equation of GeneratorWitnessMichael Goulet-0/+19
2022-07-30Do not leak type variables from opaque type relationMichael Goulet-3/+14
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-10update higher_ranked_sub docslcnr-1/+2
2022-03-28Remove opaque type obligation and just register opaque types as they are enco...Oli Scherer-7/+5
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-2/+37
2022-02-15Overhaul `Const`.Nicholas Nethercote-4/+4
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-37/+2
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-2/+37
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-1/+1
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-2/+2
2021-08-20move the `sub-unify` check and extend the documentation a bitNiko Matsakis-6/+2
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
2021-01-16Review changesJack Huey-1/+1
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+179
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 22:20:35 +0000