| 380 | /// Snapshot of all `KEnv` cache sizes at a point in time. |
| 381 | /// |
| 382 | /// Used by the parallel kernel-check diagnostic mode (gated on |
| 383 | /// `IX_KERNEL_CHECK_DIAG=1`) to surface which scheduled blocks ratchet |
| 384 | /// per-worker cache memory. Each field is the entry count of one of |
| 385 | /// `KEnv`'s `FxHashMap`/`FxHashSet` caches at the moment of snapshotting. |
| 386 | #[derive(Clone, Copy, Debug, Default)] |
| 387 | pub struct KEnvCacheSizes { |
| 388 | pub consts: usize, |
| 389 | pub blocks: usize, |
| 390 | pub intern_exprs: usize, |
| 391 | pub intern_univs: usize, |
| 392 | pub whnf: usize, |