diff options
| author | bors <bors@rust-lang.org> | 2016-05-16 18:39:59 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2016-05-16 18:39:59 -0700 |
| commit | 786b26d7b48accffc638f8c2767a6e4a6f1991a5 (patch) | |
| tree | 32f3c04dd6a7bc2eb5a4988764afee6392d3e0cd /src/rustllvm/ExecutionEngineWrapper.cpp | |
| parent | cd6a400175cc230008a5094a8bbb44a3794f0465 (diff) | |
| parent | 65ad935737138eb307fdd01279ba5553a047bb6c (diff) | |
| download | rust-786b26d7b48accffc638f8c2767a6e4a6f1991a5.tar.gz rust-786b26d7b48accffc638f8c2767a6e4a6f1991a5.zip | |
Auto merge of #33491 - arielb1:obligation-jungle, r=nikomatsakis
Replace the obligation forest with a graph In the presence of caching, arbitrary nodes in the obligation forest can be merged, which makes it a general graph. Handle it as such, using cycle-detection algorithms in the processing. I should do performance measurements sometime. This was pretty much written as a proof-of-concept. Please help me write this in a less-ugly way. I should also add comments explaining what is going on. r? @nikomatsakis
Diffstat (limited to 'src/rustllvm/ExecutionEngineWrapper.cpp')
0 files changed, 0 insertions, 0 deletions