ftynse wrote: This will need some top-level documentation about object ownership. Tableaus are rather large and I see a bunch of `keep_alive` that are difficult to follow without knowing the overall goal. https://github.com/llvm/llvm-project/pull/113233