Closed q82419 closed 1 year ago
According to the validation of array.new_default, the type is [i32] -> [(ref x)], but in the appendix page is [] -> [(ref x)].
array.new_default
[i32] -> [(ref x)]
[] -> [(ref x)]
According to the validation of array.len, the type is [arrayref] -> [i32], but in the appendix page is [arrayref] -> [].
array.len
[arrayref] -> [i32]
[arrayref] -> []
According to the validation of
array.new_default, the type is[i32] -> [(ref x)], but in the appendix page is[] -> [(ref x)].According to the validation of
array.len, the type is[arrayref] -> [i32], but in the appendix page is[arrayref] -> [].