Fix anonymous type instantiation

[ahejlsberg]

With #18231 we included an optimization to track which type parameters are referenced in anonymous types such that unnecessary instantiations can be avoided. This optimization did not properly account for locally declared types that might reference type parameters. With this PR we now optimize only when there are no intervening statement blocks between an anonymous type literal and a particular type parameter (and thus no opportunity to indirectly reference the type parameter), and no type queries (typeof in a type position) within the anonymous type literal.

Fixes #19043.

[mhegazy]

here is another example using typeof that exhibits the same aliasing behavior like type aliases:

declare function f<T>(a: T, b: { a: typeof a });
f(2, { a: 2 });