[Parser] Avoid an internal assertion when a function's type does not match params (WebAssembly#7247)

The parser trusted the type when calling `setLocalName`, but that method
asserts of the local index is invalid. Avoid that assertion so we reach the
proper error message later.

Author: kripken

src/parser/contexts.h

@@ -1325,7 +1325,10 @@ struct ParseModuleTypesCtx : TypeParserCtx<ParseModuleTypesCtx>,
       return in.err(pos, "expected signature type");
     }
     f->type = type.type;
-    for (Index i = 0; i < type.names.size(); ++i) {
+    // If we are provided with too many names (more than the function has), we
+    // will error on that later when we check the signature matches the type.
+    // For now, avoid asserting in setLocalName.
+    for (Index i = 0; i < std::min(type.names.size(), f->getNumLocals()); ++i) {
       if (type.names[i].is()) {
         f->setLocalName(i, type.names[i]);
       }

test/lit/parse-error-func-param-type.wast

@@ -0,0 +1,10 @@
+;; This function's type does not match the param we define for it.
+
+;; RUN: not wasm-opt %s 2>&1 | filecheck %s
+;; CHECK: Fatal: 9:10: error: type does not match provided signature
+
+(module
+ (type $0 (func))
+
+ (func $0 (type $0) (param $var$0 i32))
+)