diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-09-27 09:43:22 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-10-27 09:06:03 -0400 |
| commit | 7f9ab60afba07cd9015d2b2138906894a5359351 (patch) | |
| tree | d2694d491a87b7c145b2a064b88f5cd1719e4987 /src/rustllvm/RustWrapper.cpp | |
| parent | 3ef27d82e0623554962e96a9b06921326da861d2 (diff) | |
| download | rust-7f9ab60afba07cd9015d2b2138906894a5359351.tar.gz rust-7f9ab60afba07cd9015d2b2138906894a5359351.zip | |
extend query response to potentially contain fresh universes
The idea here is that an incoming query may refer to some universes, and they query response may contain fresh universes that go beyond those. When we instantiate the query response in the caller's scope, therefore, we map those new universes into fresh universes for the caller.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions