Message ID | 20170425081245.GA36962@adacore.com |
---|---|
State | New |
Headers | show |
Index: exp_attr.adb =================================================================== --- exp_attr.adb (revision 247135) +++ exp_attr.adb (working copy) @@ -1650,8 +1650,8 @@ -- Perform a view conversion when either the argument or the -- formal parameter are of a private type. - if Is_Private_Type (Formal_Typ) - or else Is_Private_Type (Item_Typ) + if Is_Private_Type (Base_Type (Formal_Typ)) + or else Is_Private_Type (Base_Type (Item_Typ)) then Rewrite (Item, Unchecked_Convert_To (Formal_Typ, Relocate_Node (Item)));