Description
Currently `ImplicitTypeCasts` doesn't handle casts between ArrayTypes, this is not convenient, we should add a rule to enable casting from ArrayType(InternalType) to ArrayType(newInternalType).
Currently `ImplicitTypeCasts` doesn't handle casts between ArrayTypes, this is not convenient, we should add a rule to enable casting from ArrayType(InternalType) to ArrayType(newInternalType).