J.13 Dependence Restriction Identifiers
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.
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.
Wording Changes from Ada 95
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe