dtcxzyw wrote: Two remaining things: 1. Allow mixed provenance if the captures attribute doesn't strip the provenance. 2. Capability update in nested captures. https://github.com/llvm/llvm-project/pull/201170