CVS difference for ai12s/ai12-0378-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0378-1.txt

--- ai12s/ai12-0378-1.txt	2020/06/08 01:39:35	1.3
+++ ai12s/ai12-0378-1.txt	2020/06/09 22:45:35	1.4
@@ -9,8 +9,9 @@
 
 An actual of an out parameter that is a view conversion of an access type
 is not illegal if the types are not related, rather null is passed if the
-access value would fail a membership check on the subtype of the parameter
-(ignoring any exclusion or predicate).
+access value would violate any constraint, tag check, or accessibility 
+check that applies to the formal. Predicates and null exclusions are always
+ignored for out parameters.
 
 !problem
 

Questions? Ask the ACAA Technical Agent