GL_KHR_vulkan_glsl allows gl_VertexIndex in any stage

[tksuoran]

Any stage:

            in gl_NumWorkGroups
            in gl_WorkGroupSize
            in gl_WorkGroupID
            in gl_LocalInvocationID
            in gl_GlobalInvocationID
            in gl_LocalInvocationIndex

            in gl_VertexIndex
            in gl_InstanceIndex
            in gl_InvocationID
            in gl_PatchVerticesIn      (PatchVertices)
            in gl_PrimitiveIDIn        (PrimitiveID)
            in/out gl_PrimitiveID      (in/out based only on storage qualifier)
            in gl_TessCoord

Is there supposed to be a line Vertex stage only: before in gl_VertexIndex line? As is, one should be able to use gl_VertexIndex in fragment shader, I don't think this was intended.