diff options
| author | Jack Huey <jack.huey@umassmed.edu> | 2020-12-18 13:24:55 -0500 |
|---|---|---|
| committer | Jack Huey <jack.huey@umassmed.edu> | 2020-12-18 15:27:28 -0500 |
| commit | 328fcee4af7aed31343244206abb7dff25106d04 (patch) | |
| tree | deff8511791d41c17be65096e45d447de8fcc6a3 /compiler/rustc_traits/src/chalk/mod.rs | |
| parent | 6340607acaab10eed3cf11ef7ad3564db58ec981 (diff) | |
| download | rust-328fcee4af7aed31343244206abb7dff25106d04.tar.gz rust-328fcee4af7aed31343244206abb7dff25106d04.zip | |
Make BoundRegion have a kind of BoungRegionKind
Diffstat (limited to 'compiler/rustc_traits/src/chalk/mod.rs')
| -rw-r--r-- | compiler/rustc_traits/src/chalk/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_traits/src/chalk/mod.rs b/compiler/rustc_traits/src/chalk/mod.rs index b117e28875e..f3a55fec9e4 100644 --- a/compiler/rustc_traits/src/chalk/mod.rs +++ b/compiler/rustc_traits/src/chalk/mod.rs @@ -44,7 +44,7 @@ crate fn evaluate_goal<'tcx>( let reempty_placeholder = tcx.mk_region(ty::RegionKind::RePlaceholder(ty::Placeholder { universe: ty::UniverseIndex::ROOT, - name: ty::BoundRegion::BrAnon(placeholders_collector.next_anon_region_placeholder + 1), + name: ty::BoundRegionKind::BrAnon(placeholders_collector.next_anon_region_placeholder + 1), })); let mut params_substitutor = |