Twitter had to kill 3rd party apps twice in order for the mastodon migration to happen. First they did it in 2011 and then again after Elon bought the company.
I imagine a true Twitter > Mastodon level migration away from Reddit won't happen yet. But once they inevitably dump old.reddit.com, it might.