I couldn't find a mention of this in the f16 proposal. The PR (#2696) also doesn't seem to touch the "validating GPUFragmentState" steps but the problem is that the existing validation talks about vector types without specifying their inner scalar types.
For context, Firefox user bug report: Bug 2013404