See: https://github.com/WebAssembly/design/issues/908
The Spec's GitHub issue is closed now. We won't make this a validation error.