yonillasky wrote: This change is not safe in all cases, I need to make more cautious about which slots it annotates like this. The data in a slot can be affects from inside user code if its address is ever taken. https://github.com/llvm/llvm-project/pull/176543