()
| 732 | self.blocks.clear(); |
| 733 | self.intern.univs.clear(); |
| 734 | self.intern.exprs.clear(); |
| 735 | self.intern.canon_exprs.clear(); |
| 736 | self.intern.canon_univs.clear(); |
| 737 | // Scratch buffers retain entries from the most recent subst/lift call; |
| 738 | // emptying them releases the KExpr Arc references they hold so the |
| 739 | // intern.exprs cleanup above can actually drop ExprData allocations. |
| 740 | self.intern.subst_scratch.clear(); |
| 741 | self.intern.lift_scratch.clear(); |
| 742 | self.intern.clo_scratch_pool.clear(); |
nothing calls this directly
no test coverage detected