We will deref<>() it later, so this is the right check.
The first pointer needs to point to the first element of the underlying array. This requires some changes to how we handle array expansion