Compatible array types

For two array types to be compatible, their element types must be compatible, and, if both array types have a specified size, they must match. This last part means that an incomplete array type (see ``Incomplete Types'') is compatible both with another incomplete array type and an array type with a specified size.