The spec 1, 2 states that if the canonopt realloc is given, then the canonopt memory is required. In the 64bit component model, the dependency is obvious because the signature of realloc depends on the address type of memory.
Currently, all address types are assumed to be i32, and at least the realloc implementation does not require a memory to be passed. Requiring it may be a breaking change.
Source discussion
The spec 1, 2 states that if the canonopt
reallocis given, then the canonoptmemoryis required. In the 64bit component model, the dependency is obvious because the signature ofreallocdepends on the address type ofmemory.Currently, all address types are assumed to be
i32, and at least thereallocimplementation does not require amemoryto be passed. Requiring it may be a breaking change.Source discussion