When this builtin is invoked with parameter |v|, the following steps must be run:
@@ -1957,9 +1957,9 @@ When this builtin is invoked with parameter |v|, the following steps must be run
-The |funcType| of this builtin is `(func (param (ref null (array (mut i16))) i32 i32) (result externref))`.
+Let |arrayType| be `(rec (type (array (mut i16)))).0`.
-Note: This function only takes a mutable i16 array defined in its own recursion group.
+The |funcType| of this builtin is `(rec (type (func (param (ref null arrayType) i32 i32) (result externref)))).0`.
When this builtin is invoked with parameters |array|, |start|, and |end|, the following steps must be run:
@@ -1982,9 +1982,9 @@ When this builtin is invoked with parameters |array|, |start|, and |end|, the fo
intoCharCodeArray
-The |funcType| of this builtin is `(func (param externref (ref null (array (mut i16))) i32) (result i32))`.
+Let |arrayType| be `(rec (type (array (mut i16)))).0`.
-Note: This function only takes a mutable i16 array defined in its own recursion group.
+The |funcType| of this builtin is `(rec (type (func (param externref (ref null arrayType) i32) (result i32)))).0`.
When this builtin is invoked with parameters |string|, |array|, and |start|, the following steps must be run:
@@ -2008,7 +2008,7 @@ When this builtin is invoked with parameters |string|, |array|, and |start|, the
fromCharCode
-The |funcType| of this builtin is `(func (param i32) (result externref))`.
+The |funcType| of this builtin is `(rec (type (func (param i32) (result externref)))).0`.
When this builtin is invoked with parameter |v|, the following steps must be run:
@@ -2019,7 +2019,7 @@ When this builtin is invoked with parameter |v|, the following steps must be run
fromCodePoint
-The |funcType| of this builtin is `(func (param i32) (result externref))`.
+The |funcType| of this builtin is `(rec (type (func (param i32) (result externref)))).0`.
When this builtin is invoked with parameter |v|, the following steps must be run:
@@ -2032,7 +2032,7 @@ When this builtin is invoked with parameter |v|, the following steps must be run
charCodeAt
-The type of this function is `(func (param externref i32) (result i32))`.
+The type of this function is `(rec (type (func (param externref i32) (result i32)))).0`.
When this builtin is invoked with parameters |string| and |index|, the following steps must be run:
@@ -2047,7 +2047,7 @@ When this builtin is invoked with parameters |string| and |index|, the following
codePointAt
-The type of this function is `(func (param externref i32) (result i32))`.
+The type of this function is `(rec (type (func (param externref i32) (result i32)))).0`.
When this builtin is invoked with parameters |string| and |index|, the following steps must be run:
@@ -2062,7 +2062,7 @@ When this builtin is invoked with parameters |string| and |index|, the following
length
-The |funcType| of this builtin is `(func (param externref) (result i32))`.
+The |funcType| of this builtin is `(rec (type (func (param externref) (result i32)))).0`.
When this builtin is invoked with parameter |v|, the following steps must be run:
@@ -2074,7 +2074,7 @@ When this builtin is invoked with parameter |v|, the following steps must be run
concat
-The |funcType| of this builtin is `(func (param externref externref) (result externref))`.
+The |funcType| of this builtin is `(rec (type (func (param externref externref) (result externref)))).0`.
When this builtin is invoked with parameters |first| and |second|, the following steps must be run:
@@ -2087,7 +2087,7 @@ When this builtin is invoked with parameters |first| and |second|, the following
substring
-The |funcType| of this builtin is `(func (param externref i32 i32) (result externref))`.
+The |funcType| of this builtin is `(rec (type (func (param externref i32 i32) (result externref)))).0`.
When this builtin is invoked with parameters |string|, |start|, and |end|, the following steps must be run:
@@ -2102,7 +2102,7 @@ When this builtin is invoked with parameters |string|, |start|, and |end|, the f
equals
-The |funcType| of this builtin is `(func (param externref externref) (result i32))`.
+The |funcType| of this builtin is `(rec (type (func (param externref externref) (result i32)))).0`.
Note: Explicitly allow null strings to be compared for equality as that is meaningful.
@@ -2122,7 +2122,7 @@ When this builtin is invoked with parameters |first| and |second|, the following
compare
-The |funcType| of this builtin is `(func (param externref externref) (result i32))`.
+The |funcType| of this builtin is `(rec (type (func (param externref externref) (result i32)))).0`.