summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-2/+2
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-13/+16
2022-09-22Rollup merge of #102037 - jyn514:normalize-docs, r=lcnrDylan DPC-0/+2
2022-09-19Make cycle errors recoverableJoshua Nelson-0/+2
2022-09-16remap ParamEnv with obligationDeadbeef-0/+8
2022-05-10Remove `clone_code` methodOli Scherer-1/+1
2022-05-10Move an extension trait method onto the type directly and reuse itOli Scherer-1/+8
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-1/+1
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-2/+2
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-0/+10
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-10/+0
2021-11-29Use the constness from the param env instead of having a separate dimension f...Oli Scherer-0/+10
2021-10-22Document flip polaritySantiago Pastorino-0/+3
2021-10-20Add TraitObligation::polarity() for better encapsulationSantiago Pastorino-0/+4
2021-10-20Consider negative polarity on overlap checkSantiago Pastorino-1/+12
2021-09-16Refactor `FulfillmentError` to track less dataEsteban Kuber-5/+1
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-1/+6
2021-03-31Add tcx lifetime to BinderJack Huey-1/+1
2021-03-06Change x64 size checks to not apply to x32.Harald van Dijk-1/+1
2020-10-14Remove unused code from rustc_inferest31-2/+0
2020-09-26Revert "Add an unused field of type `Option<DefId>` to `ParamEnv` struct."Dylan MacKenzie-1/+1
2020-09-21Add an unused field of type `Option<DefId>` to `ParamEnv` struct.Bram van den Heuvel-1/+1
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-1/+1
2020-08-30mv compiler to compiler/mark-0/+136