> For the macOS side of things, they'll use a translation layer since Apple don't support Vulkan directly (they made their own API with Metal)

Where does it say that? Why not use MoltenVK?

I think MoltenVK probably is the translation layer they're using.