I don't think there are hard choices to be made here about inifinite loops because there will be no recursive handling here, the call sites will be responsible for the looping. This is important so that they can have special cases, but mostly it means punting on the problem.