[naga/wgsl] invalid constructor `vec3f(u32)`, supported by naga

[k2d222]

The naga test files msl-vpt-formats.wgsl use the constructor vec3<f32>() with an argument of type u32. u32 is not automatically convertible to f32, and there is no matching constructor overload. This code is therefore out of spec.