CVS difference for ai12s/ai12-0372-1.txt
--- ai12s/ai12-0372-1.txt 2020/06/17 00:20:22 1.4
+++ ai12s/ai12-0372-1.txt 2020/06/17 02:35:02 1.5
@@ -376,6 +376,48 @@
null;
end Test3;
+****************************************************************
+From: Justin Squirek
+Sent: Thursday, June 11, 2020 1:20 AM
+
+The example makes sense to me, however, what affect does making Discriminated
+tagged have? Shouldn't the result be the same in either case?
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, June 11, 2020 2:04 AM
+
+The actual to an aliased parameter has to be either tagged or aliased. A
+function result is not aliased, so it better be tagged in order to be legal.
+
+****************************************************************
+
+From: Justin Squirek
+Sent: Thursday, June 11, 2020 2:23 AM
+
+Hm, right. Is there a reason to make Obj aliased in the example though?
+
+****************************************************************
+
+From: Justin Squirek
+Sent: Thursday, June 11, 2020 2:30 AM
+
+Ah of course, Obj must be aliased to make the special aliasing rules apply and
+the return legal. Please disregard my previous email. The mysteries have been
+solved.
+
+Thanks for the assistance on this early Thursday : )
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, June 11, 2020 2:35 AM
+
+> Hm, right. Is there a reason to make Obj aliased in the example though?
+
+That's the point, it requires an accessibility check and forces an
+accessibility level on the called function.
****************************************************************
Questions? Ask the ACAA Technical Agent