This feature is essentially self-migrating, but fit it into the migration flow by marking it as migratable, adding `-strict-memory-safety:migrate`, and introducing a test. (cherry picked from commit abad2fae0f)
abad2fae0f
