spell out when an implementation must reject a shader module #1241
Description
Many WGSL rules are statically checkable, i.e. by solely inspecting the WGSL source.
Do we want to spell out:
- The distinction between statically checkable vs. only checkable at runtime (if at all). (Part of WGSL spec)
- That an implementation must check all statically checkable rules. My understanding is yes. (Part of WebGPU spec?)
- That when a statically checked rule fails, that the WebGPU createShaderModule call must fail: by rejecting the promise on the GPUCompilationInfo and that the compilation info should contain an error message.