4.9.1 Статически совпадающие ограничения и подтипы

Ограничение статически совпадает с другим ограничением, если оба являются нулевыми ограничениями, оба являются статическими и имеют равные соответствующие границы или значения дискриминант, или оба являются нестатическими и получены от одной и той же разработки ограничения constraint subtype_indication или от одного и того же вычисления range discrete_subtype_definition.

Подтип статически совпадает с другим подтипом того же типа, если у них статически совпадающие ограничения. Два анонимных подтипа доступа статически совпадают, если их обозначенные подтипы статически совпадают.

Два диапазона одного типа статически совпадают, если оба получены от одного и того же вычисления range, или если оба являются статическими и имеют равные соответствующие границы.

Ограничение статически совместимо со скалярным подтипом, если оно статически совпадает с ограничением подтипа или если оба являются статическими и ограничение совместимо с подтипом. Ограничение статически совместимо с подтипом доступа или составного типа, если оно статически совпадает с ограничением подтипа или если подтип не ограничен. Один подтип статически совместим со вторым подтипом, если ограничение первого статически совместимо со вторым подтипом.