When Casas sees his control years go, he will sign with someone else, and Devers will move to 1B. Book it.
I seriously doubt we trade Casas, and we aren't getting an ace for him, anyway, so he's not going anywhere.
Now, maybe a Casas + a top 4 prospect might get an ace with 3-5 years of control, but who knows?