summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/higher_ranked
AgeCommit message (Expand)AuthorLines
2021-03-31Add tcx lifetime to BinderJack Huey-4/+4
2021-03-31Some rebinds and dummysJack Huey-1/+4
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-2/+2
2020-12-03The details of higher-rank sub are in the rustc book not a doc module.Benjamin Peterson-3/+3
2020-11-16compiler: fold by valueBastian Kauschke-5/+4
2020-11-12Add type to `ConstKind::Placeholder`varkor-1/+1
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-7/+4
2020-08-30mv compiler to compiler/mark-0/+159