Comments - AUTO_INCREMENT
Content reproduced on this site is the property of its respective owners,
and this content is not reviewed in advance by MariaDB. The views, information and opinions
expressed by this content do not necessarily represent those of MariaDB or any other party.
Under "Setting Explicit Values" it is stated that "It is possible to specify a value for an AUTO_INCREMENT column. The value must not exist in the key.", but it seems not true if the AI column key is not unique, which is stated as a possibility under "Description" setting, "It must defined as a key (not necessarily the PRIMARY KEY or UNIQUE key).".
When testing that option, the above is confirmed (select version(): 10.3.16-1-MariaDB-enterprise-log) - am able to create records with explicitly specified duplicate values for the AI column which is not part of a unique key.
Thanks, you are correct - this has been clarified.