Most common scenario is to sell your Toronto home for 2m and retire to a 500k condo in Florida. And no, neither banks nor government would absorb the delta between mortgage value and current property evaluation. Banks are probably covered by some form of government insurance which people would have to pay up through taxes