about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/glb.rs
AgeCommit message (Expand)AuthorLines
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