Added test that components with type vars do compile.

Author: cristianoc

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

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

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

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

tests/analysis_tests/tests/src/expected/typeConstraint.res.txt

@@ -0,0 +1,21 @@
+@@jsxConfig({version: 4, mode: "classic"})
+
+module V4C = {
+  @react.component
+  let make:
+    type a. (~a: a, ~b: a, a) => React.element =
+    (~a, ~b, _) => <div />
+}
+
+let v4c = <V4C a=1 b=2 />
+
+@@jsxConfig({version: 4, mode: "automatic"})
+
+module V4A = {
+  @react.component
+  let make:
+    type a. (~a: a, ~b: a, a) => React.element =
+    (~a, ~b, _) => <div />
+}
+
+let v4a = <V4A a=1 b=2 />