Duplicate init arg spec gives internal error

[cgay]

define class <c> (<object>)
  keyword aaa:;
  keyword aaa:;
end;
format-out("%s\n", make(<c>, aaa: 1));

(Available here: https://play.opendylan.org/shared/93b97d88a4b522b9)

Results in this output:

Open Dylan 2023.1
Internal error: value @KaaaHLcGVplay_bba5f31d926f is multiply defined
Exiting with return code 9

From https://opendylan.org/books/drm/Instance_Creation_and_Initialization, the last paragraph in the section "Initialization Argument Specifications" (emphasis mine):

"""
More than one keyword initializable slot may be initialized from the same initialization argument (that is, more than one keyword initializable slot may specify the same init-keyword). However, an error is signaled if a single define-class form has more than one initialization argument specification for the same keyword. An error will also be signaled if a single define-class form has a keyword initializable slot that includes an init specification and also includes an initialization argument specification for the same keyword that is either required or provides a default value. These error situations are all indications of code that can never be reached.
"""

[cgay]

Adding this to the same bug on the theory that the problems are in the same code...

No error is signaled for this example:

define class <c> (<object>)
  slot one, init-keyword: aaa:, init-value: "one";
  required keyword aaa: = "two";
end;
ignore(one, one-setter);
format-out("%s\n", one(make(<c>, aaa: 1)));

(Available here: https://play.opendylan.org/shared/48cfddccfa9aa2ff)

From the same paragraph quoted in the initial bug description:

An error will also be signaled if a single define-class form has a keyword initializable slot that includes an init specification and also includes an initialization argument specification for the same keyword that is either required or provides a default value.