about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/glb.rs
AgeCommit message (Expand)AuthorLines
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-154/+0
2023-04-04Remove intercrate and mark_ambiguous from RelationMichael Goulet-9/+0
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-0/+5
2023-03-15always make `define_opaque_types` explicitlcnr-2/+2
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-10/+12
2023-01-27internally change regions to be covariantAli MJ Al-Nasrawy-1/+2
2022-12-13Fast path some binder relationsMichael Goulet-0/+5
2022-11-21Add some more assertions for type relations not used during coherenceOli Scherer-2/+3
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-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-06-08lub: don't bail out due to empty binderslcnr-6/+14
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-1/+9
2022-02-28Edit `rustc_trait_selection::infer::lattice` docspierwill-0/+2
2022-02-15Overhaul `Const`.Nicholas Nethercote-4/+4
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-9/+1
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-1/+9
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-1/+2
2021-03-31Add tcx lifetime to BinderJack Huey-3/+3
2020-08-30mv compiler to compiler/mark-0/+125