about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/lattice.rs
AgeCommit message (Expand)AuthorLines
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-128/+0
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/+4
2023-03-15always make `define_opaque_types` explicitlcnr-3/+3
2023-02-10emit `AliasEq` when relating type and const aliasesBoxy-6/+5
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-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-5/+7
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
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/+25
2022-02-28Edit `rustc_trait_selection::infer::lattice` docspierwill-12/+16
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-25/+2
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-2/+25
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+99