wgsl-in: naga accepts switch statement with different integer types

[jakobhellermann]

While implementing support for switch statements in wgsl-analyzer I noticed that naga accepts the following program,

let i: u32 = 0u;
switch (i) {
  case 0: { return 0; }
  default: { return 0; }
}

which should - if I'm reading the spec correctly - be an error.

https://gpuweb.github.io/gpuweb/wgsl/#switch-statement

The case selector values must have the same type as the result of evaluating the selector expression.

[kvark]

I wonder how literal typing is going to change that. My feeling is that this pattern will be allowed in the end, so should be no rush to fix it.

[teoxoy]

We no longer allow this and opened gfx-rs/wgpu#4400 to track allowing this again.