j2kun wrote: By coincidence I just today was working with an infinite height lattice where I manually implemented widening. If I'm reading the implementation correctly, this is something I'd use. https://github.com/llvm/llvm-project/pull/193338