Convention aspect stricter than before? - GNAT Community 2020

[Jesper Quorning <jesper.quorning@gmail.com>]

The specification below compiles with CE2019 and GPL2017 but is rejected by CE2020:

c_convention_records.ads:5:04: representation item must appear after type is fully defined

Is this expected behaviour?

CE2020 accepts the specification when pragma Convention is used as for Record_2.

Is there an Ada 2012 way to solve this without moving Private_Record out of private part or using a pragma?


/Jesper

--
package C_Convention_Records is

   type Private_Record is private;

   type Record_1 is record  --  Line 5
      Dummy : Integer;
      Priv  : Private_Record;
   end record
     with Convention => C;

   type Record_2 is record
      Dummy : Integer;
      Priv  : Private_Record;
   end record;
   pragma Convention (C, Record_2);

private

   type Private_Record is record
      Dummy : Integer;
   end record
     with Convention => C;

end C_Convention_Records;