FedericoBruzzone wrote: Yes, it works in this way. Given the PR scope and the expert's approval, I'd proceed to merge it. Thank you, _again_ :D https://github.com/llvm/llvm-project/pull/225373