Fix unnecessary boxing of Some(React.component)

Author: cknitt

CHANGELOG.md

@@ -40,6 +40,7 @@
 - Fix namespaced reference lookup in editor analysis. https://github.com/rescript-lang/rescript/pull/8455
 - Fix analysis segmentation fault for references after https://github.com/rescript-lang/rescript/pull/7887. https://github.com/rescript-lang/rescript/pull/8477
 - Fix build crash when the compiler emits output that is not valid UTF-8, such as a truncated multibyte character in a code frame. https://github.com/rescript-lang/rescript/pull/8482
+- Fix unnecessary boxing of `Some(React.component)`. https://github.com/rescript-lang/rescript/pull/8500
 
 #### :memo: Documentation
 

packages/@rescript/runtime/Jsx.res

@@ -20,6 +20,7 @@ type componentLike<'props, 'return> = 'props => 'return
 /* Components consume props. If one component can accept broader props, it can
    safely stand in for a component that only needs narrower props, just like a
    function argument type. That makes the props parameter contravariant. */
+@notUndefined
 type component<-'props>
 
 /* this function exists to prepare for making `component` abstract */

tests/tests/src/option_wrapping_test.mjs

@@ -72,6 +72,8 @@ let x47 = {};
 
 let x48 = Stdlib_Lazy.make(() => true);
 
+let x49 = param => null;
+
 let x1 = "hello";
 
 let x2 = 1;
@@ -139,5 +141,6 @@ export {
   x46,
   x47,
   x48,
+  x49,
 }
 /* x20 Not a pure module */

tests/tests/src/option_wrapping_test.res

@@ -52,3 +52,4 @@ let x45 = Some(Promise.resolve(true))
 let x46 = Some(list{})
 let x47 = Some((Dict.make(): dict<string>))
 let x48 = Some(Lazy.make(_ => true))
+let x49 = Some(Jsx.component(_ => Jsx.null))