Whatever the resolution here is, I'd like to consider doing the same thing for bindings. [[binding 0, set 1]] -> [[binding (1, 0)]]

Originally posted by @kainino0x in #1046 (comment)

Note the following precedent from HLSL for Vulkan:

For HLSL, we discussed this and chose [[vk::binding(3, 2)]], where the arguments are required binding followed by optional set.
-johnkslang

Personally I don't think the set should be optional, and I think it should come first.