test/tint/types/short_names/short_names.wgsl.expected.wgsl

@vertex
fn main(@builtin(vertex_index) VertexIndex : u32) -> @builtin(position) vec4f {
  return vec4f(vec2f(vec2i()), 0.0, 1.0);
}