I highly suggest not using the -no-allocations flag currently, it is aspirational and I don't expect it to work correctly.
I'm not sure why mmio is hitting this error, but I can guarantee that it does not use any dynamic allocations, and definitely does not use arrays. Instead to represent "arrays" of registers it uses RegisterArray<Value> which is a simple wrapper type which provides a subscript and does pointer math.