That's not the scenario being described here. The registrar would handle all of that and release the domain if it weren't paid.