The following restrictions
involve dependence on specific language-defined units. The more general
restriction No_Dependence (see 13.12.1)
should be used for this purpose.
Static Semantics
2/2
The following
restrictions_identifiers
exist:
3/2
No_Asynchronous_Control
There are no semantic dependences on package Asynchronous_Task_Control.
4/2
No_Unchecked_Conversion
Semantic dependence on the predefined generic Unchecked_Conversion is
not allowed.
5/2
No_Unchecked_Deallocation
Semantic dependence on Unchecked_Deallocation is not allowed.