diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-08-31 11:16:35 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-08-31 11:16:35 +0000 |
| commit | ae963b560fba006d1ff7f9ca0ca95e660d36ef5d (patch) | |
| tree | b724a1ea347c618f10115237bb71858a542c1d11 | |
| parent | 407695132c64ce6dfb3d96b820c7f23b7f989601 (diff) | |
| download | rust-ae963b560fba006d1ff7f9ca0ca95e660d36ef5d.tar.gz rust-ae963b560fba006d1ff7f9ca0ca95e660d36ef5d.zip | |
remove dummy UniverseInfo causes from type checker `type_check`
This was pre-filling causes for universes that could already exist in the InferCtxt. We don't need to do that anymore: `other()` is the default when there is no registered universe cause.
| -rw-r--r-- | compiler/rustc_borrowck/src/type_check/mod.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/compiler/rustc_borrowck/src/type_check/mod.rs b/compiler/rustc_borrowck/src/type_check/mod.rs index 3004291c3e7..28286243e82 100644 --- a/compiler/rustc_borrowck/src/type_check/mod.rs +++ b/compiler/rustc_borrowck/src/type_check/mod.rs @@ -163,10 +163,6 @@ pub(crate) fn type_check<'mir, 'tcx>( debug!(?normalized_inputs_and_output); - for u in ty::UniverseIndex::ROOT..=infcx.universe() { - constraints.universe_causes.insert(u, UniverseInfo::other()); - } - let mut borrowck_context = BorrowCheckContext { universal_regions, location_table, |