CVS difference for 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