summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2020-12-27Revert change to evaluation orderMatthew Jasper-3/+3
2020-10-22Normalize when finding trait object candidatesMatthew Jasper-41/+38
2020-10-21Fix ICE from projection cycleMatthew Jasper-12/+6
2020-10-11Use tracing spans in rustc_trait_selectionMatthew Jasper-38/+21
2020-10-06Fix tests from rebaseMatthew Jasper-6/+11
2020-10-06Fix rebaseMatthew Jasper-2/+2
2020-10-06Don't require lifetime super-bounds on traits apply to trait objects of that ...Matthew Jasper-14/+17
2020-10-06Normalize super trait bounds when confirming object candidatesMatthew Jasper-9/+20
2020-10-06Avoid cycles from projection boundsMatthew Jasper-16/+20
2020-10-06Avoid cycle with projections from object typesMatthew Jasper-135/+41
2020-10-06Normalize projection bounds when considering candidatesMatthew Jasper-12/+21
2020-10-06Handle multiple applicable projection candidatesMatthew Jasper-7/+18
2020-10-06Fix bugs in evaluating WellFormed predicatesMatthew Jasper-4/+13
2020-10-06Avoid cycle in nested obligations for object candidateMatthew Jasper-52/+175
2020-10-06Fix ICEMatthew Jasper-4/+5
2020-10-06Ensure that associated types for trait objects satisfy their boundsMatthew Jasper-13/+51
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-2/+2
2020-10-06Check projections are well-formed when using projection candidatesMatthew Jasper-5/+29
2020-09-24remove enum name from ImplSource variantsBastian Kauschke-18/+14
2020-09-04Change ty.kind to a methodLeSeulArtichaut-6/+6
2020-08-30mv compiler to compiler/mark-0/+810