test/tint/shader_io/vertex_output_builtins.wgsl

@vertex
fn main() -> @builtin(position) vec4<f32> {
  return vec4<f32>(1.0, 2.0, 3.0, 4.0);
}