summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2021-03-31Track bound varsJack Huey-1/+4
2021-02-18Rollup merge of #82066 - matthewjasper:trait-ref-fix, r=jackh726Dylan DPC-29/+16
2021-02-15Add `ptr::Pointee` trait (for all types) and `ptr::metadata` functionSimon Sapin-1/+67
2021-02-13Remove unnecessary function parameters project.rsMatthew Jasper-21/+9
2021-02-13Don't go through TraitRef to relate projectionsMatthew Jasper-8/+7
2021-01-28Auto merge of #81055 - matthewjasper:non-fatal-overflow, r=nikomatsakisbors-8/+3
2021-01-16Review changesJack Huey-4/+4
2021-01-15Make hitting the recursion limit in projection non-fatalMatthew Jasper-8/+3
2020-12-20Prevent caching projections in the case of cyclesMatthew Jasper-6/+8
2020-12-20Make recursion limit fatal in projectMatthew Jasper-1/+8
2020-12-19More rebindsJack Huey-2/+4
2020-11-19Move `rustc_ty` -> `rustc_ty_utils`LeSeulArtichaut-1/+1
2020-11-16wordslcnr-2/+2
2020-11-16compiler: fold by valueBastian Kauschke-17/+16
2020-11-02revert #75443 update mir validatorBastian Kauschke-1/+1
2020-10-16Review commentsJack Huey-2/+2
2020-10-16map_bound_ref -> rebindJack Huey-4/+4
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-5/+7
2020-10-11Use tracing spans in rustc_trait_selectionMatthew Jasper-102/+43
2020-10-06Fix rebaseMatthew Jasper-2/+2
2020-10-06Fix bootstrapMatthew Jasper-1/+3
2020-10-06Handle multiple trait-def projection candidatesMatthew Jasper-0/+7
2020-10-06Avoid cycles from projection boundsMatthew Jasper-3/+36
2020-10-06Avoid cycle with projections from object typesMatthew Jasper-130/+77
2020-10-06Normalize projection bounds when considering candidatesMatthew Jasper-18/+40
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-1/+1
2020-10-06Rename projection_predicates to item_boundsMatthew Jasper-4/+2
2020-09-24remove enum name from ImplSource variantsBastian Kauschke-19/+19
2020-09-04Change ty.kind to a methodLeSeulArtichaut-5/+5
2020-08-30mv compiler to compiler/mark-0/+1581