summary refs log tree commit diff
path: root/src/librustc_traits/chalk
AgeCommit message (Expand)AuthorLines
2020-05-22Remove ReScopeMatthew Jasper-1/+0
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-36/+39
2020-05-17chalkBastian Kauschke-7/+6
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-1/+0
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-1/+0
2020-05-11Fix clippy warningsMatthias Krüger-40/+36
2020-05-07Fix nit and cargo.lockJack Huey-1/+1
2020-05-07Reintegrate chalk using chalk-solveJack Huey-0/+1470