Sirraide wrote: > Yeah, there's a fair amount of moving parts. This is why I want to go with the most conservative approach of rejecting unless the attributes are the same. That seems reasonable given that we can always make this more permissive later on. https://github.com/llvm/llvm-project/pull/132939