kelbon wrote: > Why did you close this PR? it hung for quite a long time with strange errors (as far as I understood, these were errors inside the check itself), and unfortunately now I have absolutely no time https://github.com/llvm/llvm-project/pull/78997