Prevent infinite recursion in TypeUtils.resolveTypeForPipeCompletion by not looping over type variables (#7731)

* Limit TypeUtils.resolveTypeForPipeCompletion to 10 recursive calls to prevent infinite loops

* Add CHANGELOG entry

* Add comment explaining why TypeUtils.resolveTypeForPipeCompletion enforces a maximum iteration count and add TODO about fixing the root of the issue

* Prevent infinite recursion in TypeUtils.resolveTypeForPipeCompletion by not looping over type variables

Author: mediremi

CHANGELOG.md

@@ -23,6 +23,7 @@
 #### :bug: Bug fix
 
 - Fix error message that falsely suggested using coercion when it wouldn't work. https://github.com/rescript-lang/rescript/pull/7721
+- Fix hang in `rescript-editor-analysis.exe codeAction` that sometimes prevented ReScript files from being saved in VS Code. https://github.com/rescript-lang/rescript/pull/7731
 - Fix formatter removes () from functor type. https://github.com/rescript-lang/rescript/pull/7735
 - Rewatch: don't compile dev-dependencies of non local dependencies with `--dev`. https://github.com/rescript-lang/rescript/pull/7736
 

analysis/src/TypeUtils.ml

@@ -539,6 +539,7 @@ let rec resolveTypeForPipeCompletion ~env ~package ~lhsLoc ~full
     | _ -> None
   in
   match typFromLoc with
+  | Some ({desc = Tvar _} as t) -> (env, t)
   | Some typFromLoc ->
     typFromLoc |> resolveTypeForPipeCompletion ~lhsLoc ~env ~package ~full
   | None ->