fix props type constraint generalized

Author: mununki

cli/reactjs_jsx_v4.ml

@@ -774,7 +774,10 @@ let transformStructureItem ~config mapper item =
             (Location.mkloc (Lident "props") pstr_loc)
             (match coreTypeOfAttr with
             | None -> makePropsTypeParams namedTypeList
-            | Some _ -> typVarsOfCoreType)
+            | Some _ -> (
+              match typVarsOfCoreType with
+              | [] -> []
+              | _ -> [Typ.any ()]))
         in
         (* type props<'x, 'y> = { x: 'x, y?: 'y, ... } *)
         let propsRecordType =
@@ -1149,7 +1152,10 @@ let transformStructureItem ~config mapper item =
                       makePropsTypeParams ~stripExplicitOption:true
                         ~stripExplicitJsNullableOfRef:hasForwardRef
                         namedTypeList
-                    | Some _ -> typVarsOfCoreType)))
+                    | Some _ -> (
+                      match typVarsOfCoreType with
+                      | [] -> []
+                      | _ -> [Typ.any ()]))))
               expression
           in
           (* let make = ({id, name, ...}: props<'id, 'name, ...>) => { ... } *)
@@ -1255,7 +1261,10 @@ let transformSignatureItem ~config _mapper item =
           (Location.mkloc (Lident "props") psig_loc)
           (match coreTypeOfAttr with
           | None -> makePropsTypeParams namedTypeList
-          | Some _ -> typVarsOfCoreType)
+          | Some _ -> (
+            match typVarsOfCoreType with
+            | [] -> []
+            | _ -> [Typ.any ()]))
       in
       let propsRecordType =
         makePropsRecordTypeSig ~coreTypeOfAttr ~typVarsOfCoreType "props"

tests/ppx/react/expected/sharedProps.res.txt

@@ -14,7 +14,7 @@ module V4C1 = {
 module V4C2 = {
   type props<'a> = sharedProps<'a>
 
-  @react.component(: sharedProps<'a>) let make = ({x, y, _}: props<'a>) => React.string(x ++ y)
+  @react.component(: sharedProps<'a>) let make = ({x, y, _}: props<_>) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4C2" = (props: props<_>) => make(props)
 
@@ -26,7 +26,7 @@ module V4C3 = {
   type props<'a> = sharedProps<string, 'a>
 
   @react.component(: sharedProps<string, 'a>)
-  let make = ({x, y, _}: props<'a>) => React.string(x ++ y)
+  let make = ({x, y, _}: props<_>) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4C3" = (props: props<_>) => make(props)
 
@@ -54,13 +54,13 @@ module V4C5 = {
 module V4C6 = {
   type props<'a> = sharedProps<'a>
 
-  external make: React.componentLike<props<'a>, React.element> = "default"
+  external make: React.componentLike<props<_>, React.element> = "default"
 }
 
 module V4C7 = {
   type props<'a> = sharedProps<string, 'a>
 
-  external make: React.componentLike<props<'a>, React.element> = "default"
+  external make: React.componentLike<props<_>, React.element> = "default"
 }
 
 module V4C8 = {
@@ -85,7 +85,7 @@ module V4A1 = {
 module V4A2 = {
   type props<'a> = sharedProps<'a>
 
-  @react.component(: sharedProps<'a>) let make = ({x, y, _}: props<'a>) => React.string(x ++ y)
+  @react.component(: sharedProps<'a>) let make = ({x, y, _}: props<_>) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4A2" = (props: props<_>) => make(props)
 
@@ -97,7 +97,7 @@ module V4A3 = {
   type props<'a> = sharedProps<string, 'a>
 
   @react.component(: sharedProps<string, 'a>)
-  let make = ({x, y, _}: props<'a>) => React.string(x ++ y)
+  let make = ({x, y, _}: props<_>) => React.string(x ++ y)
   let make = {
     let \"SharedProps$V4A3" = (props: props<_>) => make(props)
 
@@ -125,13 +125,13 @@ module V4A5 = {
 module V4A6 = {
   type props<'a> = sharedProps<'a>
 
-  external make: React.componentLike<props<'a>, React.element> = "default"
+  external make: React.componentLike<props<_>, React.element> = "default"
 }
 
 module V4A7 = {
   type props<'a> = sharedProps<string, 'a>
 
-  external make: React.componentLike<props<'a>, React.element> = "default"
+  external make: React.componentLike<props<_>, React.element> = "default"
 }
 
 module V4A8 = {

tests/ppx/react/expected/sharedProps.resi.txt

@@ -9,13 +9,13 @@ module V4C1: {
 module V4C2: {
   type props<'a> = sharedProps<'a>
 
-  let make: React.componentLike<props<'a>, React.element>
+  let make: React.componentLike<props<_>, React.element>
 }
 
 module V4C3: {
   type props<'a> = sharedProps<string, 'a>
 
-  let make: React.componentLike<props<'a>, React.element>
+  let make: React.componentLike<props<_>, React.element>
 }
 
 module V4C4: {
@@ -35,13 +35,13 @@ module V4A1: {
 module V4A2: {
   type props<'a> = sharedProps<'a>
 
-  let make: React.componentLike<props<'a>, React.element>
+  let make: React.componentLike<props<_>, React.element>
 }
 
 module V4A3: {
   type props<'a> = sharedProps<string, 'a>
 
-  let make: React.componentLike<props<'a>, React.element>
+  let make: React.componentLike<props<_>, React.element>
 }
 
 module V4A4: {