Skip to content

Commit 824e31e

Browse files
committed
Prevent infinite recursion in TypeUtils.resolveTypeForPipeCompletion by not looping over type variables
1 parent 2671852 commit 824e31e

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

analysis/src/TypeUtils.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -533,6 +533,7 @@ let rec resolveTypeForPipeCompletion ~env ~package ~lhsLoc ~full
533533
| _ -> None
534534
in
535535
match typFromLoc with
536+
| Some ({desc = Tvar _} as t) -> (env, t)
536537
| Some typFromLoc ->
537538
typFromLoc |> resolveTypeForPipeCompletion ~lhsLoc ~env ~package ~full
538539
| None ->

0 commit comments

Comments
 (0)