MailboxImpl.run may throw a MigrateException