[wasm] fix asm.js type for param type annotation statements

src/asmjs/asm-typer.cc

 // Copyright 2016 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/asmjs/asm-typer.h"
 
 #include <algorithm>
 #include <limits>
 #include <memory>
 #include <string>
@@ skipping 1145 matching lines @@
     if (!ValidAsmIdentifier(proxy->name())) {
       FAIL(proxy, "Invalid asm.js identifier in parameter name.");
     }
 
     if (!AddLocal(param, param_info)) {
       FAIL(proxy, "Redeclared parameter.");
     }
     parameter_types.push_back(type);
     SetTypeOf(proxy, type);
     SetTypeOf(expr, type);
+    SetTypeOf(expr->value(), type);
   }
 
   if (static_cast<int>(annotated_parameters) != fun->parameter_count()) {
     FAIL(fun_decl, "Incorrect parameter type annotations.");
   }
 
   // 5.3 Function type annotations
   //     * locals
   for (; current; current = iter.Next()) {
     auto* initializer = ExtractInitializerExpression(current);
@@ skipping 1757 matching lines @@
          "Heap view creation parameter should be the module's heap parameter.");
   }
 
   DCHECK(heap_view_info->type()->IsA(AsmType::Heap()));
   return heap_view_info->type();
 }
 
 }  // namespace wasm
 }  // namespace internal
 }  // namespace v8