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

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