about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2023-12-14update use of feature flagslcnr-1/+1
2023-10-22use visibility to check unused imports and delete some stmtsbohan-1/+0
2023-08-09Ignore `cause` and `recursion_depth` in `Obligation::{eq,hash}`.Nicholas Nethercote-1/+23
2023-08-02Remove constness from `TraitPredicate`Deadbeef-7/+0
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-9/+0
2023-07-06Separate select calls that don't need a binderMichael Goulet-0/+1
2023-07-06TraitObligation -> PolyTraitObligationMichael Goulet-3/+3
2023-06-19s/Clause/ClauseKindMichael Goulet-2/+2
2023-04-21Break up long function in trait selection error reportingBryan Garza-1/+1
2023-04-16use matches! macro in more placesMatthias Krüger-4/+4
2023-04-10Report overflows gracefully with new solverMichael Goulet-1/+5
2023-03-21evaluate: improve and fix recursion depth handlinglcnr-0/+10
2023-03-10Move some solver stuff to middleMichael Goulet-0/+6
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-1/+2
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