You don't repay in real terms, you repay in nominal terms. That's priced in. The US isn't going to straight up default but it'll pay you back with inflated currency.