diff options
| author | Sean Griffin <sean@seantheprogrammer.com> | 2018-03-06 09:02:35 -0700 |
|---|---|---|
| committer | Sean Griffin <sean@seantheprogrammer.com> | 2018-03-23 13:18:50 -0600 |
| commit | 26cebda208690a245a09ea939d97e0dbced0b2a0 (patch) | |
| tree | c59bb81309b6e42b25a6bf596ef672c36f760be8 /src/librustc/util | |
| parent | 5ecefc55c1795c0365972a6c70fa17663833bd7f (diff) | |
| download | rust-26cebda208690a245a09ea939d97e0dbced0b2a0.tar.gz rust-26cebda208690a245a09ea939d97e0dbced0b2a0.zip | |
Revert "change skolemizations to use universe index"
This reverts commit 35e78b5cddc04c6bd13da2a1290d27cfb8ae8db8.
Diffstat (limited to 'src/librustc/util')
| -rw-r--r-- | src/librustc/util/ppaux.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc/util/ppaux.rs b/src/librustc/util/ppaux.rs index 2c3ee1ec285..ab47f604029 100644 --- a/src/librustc/util/ppaux.rs +++ b/src/librustc/util/ppaux.rs @@ -793,7 +793,7 @@ define_print! { } ty::ReSkolemized(id, ref bound_region) => { - write!(f, "ReSkolemized({:?}, {:?})", id, bound_region) + write!(f, "ReSkolemized({}, {:?})", id.index, bound_region) } ty::ReEmpty => write!(f, "ReEmpty"), |