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
restriction_identifiers exist:
3/2
No_Asynchronous_Control
Semantic dependence on the predefined package Asynchronous_Task_Control
is not allowed.
4/2
No_Unchecked_Conversion
Semantic dependence on the predefined generic function Unchecked_Conversion
is not allowed.
5/2
No_Unchecked_Deallocation
Semantic dependence on the predefined generic procedure Unchecked_Deallocation
is not allowed.