Record aggregate question (language lawyer needed!)

[mcriley@BIX.com (mcriley on BIX)]

The following test program is accepted without question by one Ada
compiler and executes without any qualms, while another warns of
a constraint_error at runtime.  Which is correct, or, is the exact
implementation left up to the compiler implementor?

procedure Rec_Test is

   type Task_Record_Type is
	record
	    Originator : String (1 .. 20);
	    Header_Dtg : String (1 .. 12);
	end record;
	
    Task_Record : Task_Record_Type := (others => (others => ' '));

begin
  null;
end rec_test;

The relevant part of the LRM is 4.3.1[1]: "A component association
with the choice others [...] is only allowed if the represented
components are all of the same type."  Well the components are
both of the same _type_, but obviously the subtype constraints vary.
The nature of the warning produced by the one compiler reflects
that: "Subtype_Match_Error".

Any input on this would be most appreciated.

Marc A. Criley