fix issue where type arg ctx wasnt passed along

Author: zth

analysis/src/TypeUtils.ml

@@ -660,7 +660,7 @@ let rec resolveNested ?typeArgContext ~env ~full ~nested ?ctx
         Toption (env, ExtractedType typ) ) ->
       if Debug.verbose () then
         print_endline "[nested]--> moving into option Some";
-      typ |> resolveNested ~env ~full ~nested
+      typ |> resolveNested ?typeArgContext ~env ~full ~nested
     | ( NVariantPayload {constructorName = "Some"; itemNum = 0},
         Toption (env, TypeExpr typ) ) ->
       if Debug.verbose () then
@@ -720,7 +720,8 @@ let rec resolveNested ?typeArgContext ~env ~full ~nested ?ctx
       | Some {args = InlineRecord fields} when itemNum = 0 ->
         if Debug.verbose () then
           print_endline "[nested]--> found constructor (inline record)";
-        TinlineRecord {env; fields} |> resolveNested ~env ~full ~nested
+        TinlineRecord {env; fields}
+        |> resolveNested ?typeArgContext ~env ~full ~nested
       | _ -> None)
     | ( NPolyvariantPayload {constructorName; itemNum},
         Tpolyvariant {env; constructors} ) -> (
@@ -739,7 +740,7 @@ let rec resolveNested ?typeArgContext ~env ~full ~nested ?ctx
           |> Utils.Option.flatMap (fun (typ, typeArgContext) ->
                  typ |> resolveNested ?typeArgContext ~env ~full ~nested)))
     | NArray, Tarray (env, ExtractedType typ) ->
-      typ |> resolveNested ~env ~full ~nested
+      typ |> resolveNested ?typeArgContext ~env ~full ~nested
     | NArray, Tarray (env, TypeExpr typ) ->
       typ
       |> extractType ~env ~package:full.package

analysis/tests/src/Support.res

@@ -0,0 +1,4 @@
+module CatchResult = {
+  @tag("ok")
+  type t<'value> = | @as(true) Ok({value: 'value}) | @as(false) Error({errors: array<string>})
+}

analysis/tests/src/TypeArgCtx.res

@@ -0,0 +1,9 @@
+type someTyp = {test: bool}
+let catchResult = Support.CatchResult.Ok({
+  value: {
+    test: true,
+  },
+})
+
+// switch catchResult { | Ok({value: }) => ()
+//                                  ^com

analysis/tests/src/expected/Completion.res.txt

@@ -1849,6 +1849,16 @@ Path T
       "modulePath": "TableclothMap",
       "filePath": "src/Completion.res"
     }
+  }, {
+    "label": "TypeArgCtx",
+    "kind": 9,
+    "tags": [],
+    "detail": "module TypeArgCtx",
+    "documentation": null,
+    "data": {
+      "modulePath": "TypeArgCtx",
+      "filePath": "src/Completion.res"
+    }
   }, {
     "label": "TypeAtPosCompletion",
     "kind": 9,

analysis/tests/src/expected/CompletionJsxProps.res.txt

@@ -72,6 +72,16 @@ Path CompletionSupport.TestComponent.make
       "modulePath": "TableclothMap",
       "filePath": "src/CompletionJsxProps.res"
     }
+  }, {
+    "label": "TypeArgCtx",
+    "kind": 9,
+    "tags": [],
+    "detail": "module TypeArgCtx",
+    "documentation": null,
+    "data": {
+      "modulePath": "TypeArgCtx",
+      "filePath": "src/CompletionJsxProps.res"
+    }
   }, {
     "label": "TypeAtPosCompletion",
     "kind": 9,

analysis/tests/src/expected/Support.res.txt

@@ -0,0 +1,20 @@
+Complete src/TypeArgCtx.res 7:36
+posCursor:[7:36] posNoWhite:[7:35] Found pattern:[7:26->7:39]
+Ppat_construct Ok:[7:26->7:28]
+posCursor:[7:36] posNoWhite:[7:35] Found pattern:[7:29->7:38]
+Completable: Cpattern Value[catchResult]->variantPayload::Ok($0), recordField(value)
+Package opens Pervasives.JsxModules.place holder
+Resolved opens 1 pervasives
+ContextPath Value[catchResult]
+Path catchResult
+[{
+    "label": "{}",
+    "kind": 22,
+    "tags": [],
+    "detail": "someTyp",
+    "documentation": {"kind": "markdown", "value": "```rescript\ntype someTyp = {test: bool}\n```"},
+    "sortText": "A",
+    "insertText": "{$0}",
+    "insertTextFormat": 2
+  }]
+