diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-10-01 16:36:31 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-10-27 09:06:03 -0400 |
| commit | bf51840952b701606fa6aa5e076b4e27fb8d9ee8 (patch) | |
| tree | 12bd8210898607306ff7c00f64eb7c170eb69f81 /src/rustllvm/RustWrapper.cpp | |
| parent | 80d9f8bb48d2799307f84dd8fa69884c5a407ac6 (diff) | |
| download | rust-bf51840952b701606fa6aa5e076b4e27fb8d9ee8.tar.gz rust-bf51840952b701606fa6aa5e076b4e27fb8d9ee8.zip | |
distinguish user-type annotations from other annotations
In particular, we don't want to preserve the universes for the `'_` variables that appear in there. And we don't expect to find any placeholders, which justifies this as harmless. (In particular, if you have a query like `Foo(!1, !2, ?3)`, then you care about the universe of `?3`, since it may control whether `?3 = !1` and `?3 = !2` is a valid answer. But without any placeholders, we don't really care: any placeholders that would appear in the output must therefore come from some fresh universe anyway.)
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions