1/2
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.
2/2
The following restriction_identifiers exist:
Semantic dependence on the predefined package Asynchronous_Task_Control is not allowed.
Semantic dependence on the predefined generic function Unchecked_Conversion is not allowed.
Semantic dependence on the predefined generic procedure Unchecked_Deallocation is not allowed.