struct ComputeInputs0 {
  @builtin(local_invocation_id) local_invocation_id : vec3<u32>;
};
struct ComputeInputs1 {
  @builtin(workgroup_id) workgroup_id : vec3<u32>;
};

@stage(compute) @workgroup_size(1)
fn main(
  inputs0 : ComputeInputs0,
  @builtin(local_invocation_index) local_invocation_index : u32,
  @builtin(global_invocation_id) global_invocation_id : vec3<u32>,
  inputs1 : ComputeInputs1,
) {
  let foo : u32 =
    inputs0.local_invocation_id.x +
    local_invocation_index +
    global_invocation_id.x +
    inputs1.workgroup_id.x;
}