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

Differences between 1.4 and version 1.5
Log of other versions for file 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