struct Out {
  @builtin(position) @invariant pos : vec4<f32>;
};

@stage(vertex)
fn main() -> Out {
  return Out();
}