diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2017-12-06 04:30:58 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2017-12-15 10:27:53 -0500 |
| commit | e9824c50edd067fefb2e4fd6f6d1a4fe739a145b (patch) | |
| tree | d2c89fabab1fd292817f6c92588729de80782c53 /src/test/incremental/thinlto | |
| parent | 3fcb13ae458ce6e2eedd34461b4e43c7be31b6b1 (diff) | |
| download | rust-e9824c50edd067fefb2e4fd6f6d1a4fe739a145b.tar.gz rust-e9824c50edd067fefb2e4fd6f6d1a4fe739a145b.zip | |
impose inputs/ouputs on MIR after the fact
The input/output types found in `UniversalRegions` are not normalized. The old code used to assign them directly into the MIR, which would lead to errors when there was a projection in a argument or return type. This also led to some special cases in the `renumber` code. We now renumber uniformly but then pass the input/output types into the MIR type-checker, which equates them with the types found in MIR. This allows us to normalize at the same time.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions