I've recently started learning about smart contracts and came across this example.
Bob and Alice make a bet on the weather tomorrow. The smart contract gets the weather data the next day and automatically pays the winner.
My question is what if the loser's wallet is empty? How does the winner get their money?