diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-01-27 14:14:46 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-02-02 15:40:11 +0000 |
| commit | 3146c961fe3c11271313c227aecc610db90a8555 (patch) | |
| tree | 2b10419a894488f00de1782ca39eea004cfb367d | |
| parent | 5a374dc813c8c6a1d10b3c6cc7fdeaa9aafbcc65 (diff) | |
| download | rust-3146c961fe3c11271313c227aecc610db90a8555.tar.gz rust-3146c961fe3c11271313c227aecc610db90a8555.zip | |
We're equating hidden types eagerly now
| -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 6559ded5816..eb9d16e01dd 100644 --- a/compiler/rustc_borrowck/src/type_check/mod.rs +++ b/compiler/rustc_borrowck/src/type_check/mod.rs @@ -262,10 +262,6 @@ pub(crate) fn type_check<'mir, 'tcx>( } }) .collect(); - // `hidden_type` may re-register an opaque type, so we need to clean out the - // newly re-added types. Either we got here successfully, so they are irrelevant, - // or we already errored anyway. - let _ = infcx.inner.borrow_mut().opaque_type_storage.take_opaque_types(); opaque_type_values }, ); |