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

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