Tigers would have to eat like $18M-20M or so of his 23.3M AAV over the remaining three years lol.
After 2025, the FA shortstop class is Bo, Trevor Story (if he decides to opt-out), Tommy Edman, Will Castro and Jorge Mateo. Nothing that great.
A Springer for Baez swap could make sense since they're both bad contracts, but would need the Tigers to eat the extra year Baez has left. Springer is most likely just a 2 WAR guy unless he has some rejuvenated year at the age of 35 or 36. Baez the last two seasons has been really awful however (-0.1 WAR combined lol). If he could be a 2 WAR infielder with strong defense, like it's not bad. Doubt we see him post 4 to 5 WAR seasons again. He's still just 31. But there is a chance Baez is a negative WAR player, whereas at least you know with Springer he's going to give you around 1.5 - 2 WAR even if he sucks. Though logistically, Tigers have a crowded OF, so Springer would have to DH mostly while playing sparingly in a corner. I just don't see it happening.
If the Jays are contending, would prefer them to aim higher at shortstop. Unless they swap a bad contract like Springer, which makes it easier to target a big bat in RF. If they're in retool mode, then roll with Orelvis Martínez.