[clang] [clang][HeuristicResolver] Track the expression whose type is being simplified after each step in simplifyType() (PR #126689)

[kadir çetinkaya via cfe-commits]

https://github.com/kadircet approved this pull request.

thanks, lgtm! taking a closer look here, I feel more inclined towards having the step limit in the release branch. I think because we're resolving the initializer, we can still end up in situations where we have `equivalent (T,E)`  pairs, even if not the same.

https://github.com/llvm/llvm-project/pull/126689