Signal an error if they're not. (Previously, only checked to see if the element-type was a subtype of the displaced-to array.)