brunodf-snps wrote: > I think we can continue to refine our implementation, yeah. [...] The supertype-ish reasoning I laid out above seems like the right idea. Thanks. FWIW, I think this can be implemented as laid out in #126047. https://github.com/llvm/llvm-project/pull/122116