Track type recusion and symbol instantiation depth seperately in createAnonymousTypeNode

[weswigham]

Fixes #26228 by increasing the symbol depth limit from an implied 1 to an explicit 10 repetitions of the same symbol (an individual type can still only be visited once before being printed with any). This does mean that the behavior in #26228 will recur if you chain 10+ calls.... but this will make it way less noticeable.

Also use ... for recursive locations in quick info instead of any, to (hopefully) reduce confusion as to what's being printed in the future.

[sheetalkamat]

Interesting. This is not circular generic type though so this shouldn't run into the circularity print in the first place. So to me it feels like we are missing something else that we can account in ID (eg. instantiations of the type as well?)

[weswigham]

Right, so we track how many times we visit the same symbol, since we don't know if the symbol is generative or not (ie, does each member produce a type whose member is a new instantiation of the type) and we have tests to that effect. In this case, we do produce a type with a member of the same symbol as the overall type, but it's finite - just 2 levels deep. The explicit depth check helps distinguish these cases (rather than assuming that all recursive instantiations could be circular and printing as any).

[sheetalkamat]

I understand why you are tracking depth but what i meant was why not add (symbol.links.instatiations.typeId) to determine if we are recuring into symbol + type combination. Thus we would still not have to print something like z : { y2: { y2: { y2: { y2: { y2: { y2: { y2: { y2: { y2: { y2: { y2: any; }; }; }; }; }; }; }; }; }; }; }

[weswigham]

Every y2 in that type is within a differently id'd object literal type backed by the same (well, 1 of 2, the test is mutual recursion) symbol. No symbol + type id pair will ever repeat because it generates new type ids infinitely as it recurs. Which is why we just have to track symbol depth, similarly to how we do in instantiation itself.