diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-08-06 14:27:21 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2015-08-12 17:57:57 -0400 |
| commit | 928955296e28cea5045fb726d6e3fb47780f8c48 (patch) | |
| tree | 92b9d95032bdf61038f3b258483e2df3ff954f75 /src/rustllvm/RustWrapper.cpp | |
| parent | 4561607403e1595d5ecbf36716711bc0076506f0 (diff) | |
| download | rust-928955296e28cea5045fb726d6e3fb47780f8c48.tar.gz rust-928955296e28cea5045fb726d6e3fb47780f8c48.zip | |
Define the `wf` and `outlives` relation separately, unlike the existing
`implicator`. These definitions are also in accordance with RFC 1214 (or more so), and hence somewhat different from the implicator. This commit also modifies the implicator to remove the older rules for projections, which can easily trigger infinite loops.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions