https://github.com/DavidSpickett approved this pull request. Yes this looks correct. `file` will be the uniquely named file if it's been requested. Thanks for fixing this. https://github.com/llvm/llvm-project/pull/130845