Actually in hindsight, Buffalo got a pretty decent return. Tage Thompson turning into a monster through good development and the low first round pick is a decent prospect too (
Ryan Johnson).
The reason for trading him was never a question of whether he can preform now or even the next couple seasons. It's whether he'll be worth his cap hit for Montreal and whether he'd be good by the time Montreal is ready to compete. Barron is the best RD prospect in the system right now and Habs about to lose Petry. I think this move is something that had to be done. I don't even think Avs can afford to keep Lehk at this rate. Having the 2nd be in 2024 is also really smart since it would be the first year Mackinnon would have his new mega contract.