am 4dd60e2c: am 6892cab9: am e4195e1c: Fix a type error in the allocation of non-moving arrays.

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