diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2016-05-21 08:11:54 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2016-05-31 19:43:38 -0400 |
| commit | 8770d0f34a9bee2691517ab95803a277c453dfda (patch) | |
| tree | ea4ae7998e793ff747009416a8a85eb19a3fa9ac /src/rustllvm/RustWrapper.cpp | |
| parent | cacbb2147f709c634ed4c025f89f9c02e106fe33 (diff) | |
| download | rust-8770d0f34a9bee2691517ab95803a277c453dfda.tar.gz rust-8770d0f34a9bee2691517ab95803a277c453dfda.zip | |
remove VerifyRegSubReg and cleanup region infer
We used to make region->region edges part of the verify set, but this change stores them like other edges, as a full-fledged constraint. Besides making the code somewhat cleaner, this allows them to be more easily dropped as part of `pop_skolemized`. This change also refactors the code a bit to remove some intermediate data structures that are no longer particular useful (e.g., VarValue).
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions