Member predicate ArrayType::hasSameShapeAs

Holds if this array type has the same shape (dimension and rank) as that array type.