Suggested resolution:

Change in 13.9.2 [temp.inst] paragraph 16 as follows:

There is an implementation-defined quantity that specifies the limit on the total depth of recursive instantiations (Clause Annex B [implimits]), which could involve more than one template. The result of an infinite recursion in instantiation is undefined.

Infinite recursion during template instantiation is specified to yield undefined behavior in 13.9.2 [temp.inst] paragraph 16. However, instantiation should be subject to compile-time implementation limits and not cause runtime undefined behavior.