Revert diagnostics code from 1251537459

This commit is contained in:
Manish Goregaokar 2017-10-23 14:05:58 -07:00
parent 3cffc8c427
commit f61151a726
No known key found for this signature in database
GPG key ID: 3BBF4D3E2EF79F98

View file

@ -168,13 +168,11 @@ where
return;
}
self.index.retain(|key| !set.contains(key));
self.values.begin_mutation();
// XXX It may be better to use retain when we back to use a
// normal hashmap rather than DiagnosticHashMap.
for key in set.iter() {
self.values.remove(key);
}
self.values.end_mutation();
debug_assert_eq!(self.values.len(), self.index.len());
}
}