> -- Wlad писал(а):
> Хочу привлечь ваше внимание к одному тонкому моменту!Да это - РАЗНЫЕ типы в плане совместимости по типам согласно правил КП.Но! это - ОДИНАКОВЫЕ инстанции-параметризированные типы генерика в смысле РЕАЛИЗАЦИИ (генерика)!

Действительно, это так. Это ОДИНАКОВЫЕ типы - FixedLengthArray. Если точнее, то в объекте хранится ссылка на десриптор одного и того же типа FixedLengthArray.

Но и в более раннем примере:

## Код:
```
MODULE M1; 
VAR 
   ArrayOfInt1: FixedLengthArray<INTEGER,25>; 
   ArrayOfInt2: FixedLengthArray<FLOAT,100>; 
...
```


типы тоже могут быть одинаковыми - генерик тип FixedLengthArray.

Нет никакой причины запрещать для нескольких экземпляров генерик типа, даже с разными параметрами, ссылаться на один и тот же тип (дескриптор типа).