• The type_constraint has the same rules as the type constraint of a variable declaration. The range, discriminant, and index constraints are all allowed and are not processed against the type_name being used. For more details about these constraints, refer to the section above on variable type constraints. The floating-point constraint and the digits clause, which are allowed in subtype declarations, are discussed later.