================ ---------------- nikic wrote: It would be nice to also have a simple (without any inbounds interaction) multi object test that just shows that you can't access one object with wildcard provenance and then another. https://github.com/llvm/llvm-project/pull/200596