am 8bfb6dec: am bb8c2f35: am bdd06aad: Fix a type error in the allocation of non-moving arrays.

* commit '8bfb6dec87783ee5d80a043d6a30abbf200a553b':
  Fix a type error in the allocation of non-moving arrays.