> If TypeInfo.next would not return a const TypeInfo the tail recursion could be replaced by a loop.

This has been resolved with #359, please use a loop.