struct Out { @builtin(position) @invariant pos : vec4<f32>, }; @vertex fn main() -> Out { return Out(); }