about summary refs log tree commit diff
path: root/src/rustllvm/PassWrapper.cpp
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2018-10-04 03:08:22 +0000
committerbors <bors@rust-lang.org>2018-10-04 03:08:22 +0000
commitc67ea54d4466f1c082f72b194c100bb4954449e6 (patch)
tree43682e32de55f547e989db99d91e3419dc7ad445 /src/rustllvm/PassWrapper.cpp
parentd0787284da6e25a018f2f94fcd3779d33d6150fc (diff)
parent1069c0e38f28539ab29c32921435b3f28eb63808 (diff)
downloadrust-c67ea54d4466f1c082f72b194c100bb4954449e6.tar.gz
rust-c67ea54d4466f1c082f72b194c100bb4954449e6.zip
Auto merge of #54624 - arielb1:evaluate-outlives, r=nikomatsakis
handle outlives predicates in trait evaluation

This handles higher-ranked outlives predicates in trait evaluation the same way they are handled in projection.

Fixes #54302. I think this is a more correct fix than #54401 because it fixes the root case in evaluation instead of making evaluation used in less cases. However, we might want to go to a direction closer to @nikomatsakis's solution with Chalk.

r? @nikomatsakis
Diffstat (limited to 'src/rustllvm/PassWrapper.cpp')
0 files changed, 0 insertions, 0 deletions