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