Auto migrations ignore primary key changes

[kazimuth]

This is wrong.

You can't add a #[unique] column so that's fine -- #[primary_key] is implemented as adding a #[unique] constraint plus setting a primary key field on the TableDef. The #[unique] constraint is checked for but the primary key field ignored. This means that if you remove a #[primary_key] annotation -- the primary key will be removed in the ModuleDef but not in the system tables, I think.

[gefjon]

I would expect it to be valid to transition between #[unique] and #[primary_key], though I don't feel strongly.