Sirraide wrote: > and more tests from the paper would probably be nice Actually, yeah, now that I think about it the main question that the DR addresses is already being tested, so it’s probably fine the way it is atm. https://github.com/llvm/llvm-project/pull/90079