Don't use ghost location in jsx transform

Author: nojaf

compiler/syntax/src/jsx_v4.ml

@@ -1131,7 +1131,7 @@ let mk_record_from_props mapper (jsx_expr_loc : Location.t) (props : jsx_props)
       {
         loc_start = first_item.loc_start;
         loc_end = last_item.loc_end;
-        loc_ghost = true;
+        loc_ghost = false;
       }
   in
   (* key should be filtered out *)
@@ -1156,7 +1156,7 @@ let mk_record_from_props mapper (jsx_expr_loc : Location.t) (props : jsx_props)
          | JSXPropPunning (is_optional, name) ->
            {
              lid = {txt = Lident name.txt; loc = name.loc};
-             x = Exp.ident {txt = Lident name.txt; loc = name.loc};
+             x = Exp.ident ~loc:name.loc {txt = Lident name.txt; loc = name.loc};
              opt = is_optional;
            }
          | JSXPropValue (name, is_optional, value) ->
@@ -1303,7 +1303,6 @@ let expr ~(config : Jsx_common.jsx_config) mapper expression =
    pexp_loc = loc;
    pexp_attributes = attrs;
   } -> (
-    let loc = {loc with loc_ghost = true} in
     match jsx_element with
     | Jsx_fragment {jsx_fragment_children = children} ->
       let fragment =

tests/build_tests/super_errors/expected/wrong_type_prop_punning.res.expected

@@ -0,0 +1,12 @@
+
+  We've found a bug for you!
+  /.../fixtures/wrong_type_prop_punning.res:21:13-20
+
+  19 │   @react.component
+  20 │   let make = (~someProp: array<int>) => {
+  21 │     <Level2 someProp />
+  22 │   }
+  23 │ }
+
+  This has type: array<int>
+  But it's expected to have type: float

tests/build_tests/super_errors/fixtures/wrong_type_prop_punning.res

@@ -0,0 +1,23 @@
+module React = {
+  type element = Jsx.element
+  @val external null: element = "null"
+  type componentLike<'props, 'return> = Jsx.componentLike<'props, 'return>
+  type component<'props> = Jsx.component<'props>
+  external component: componentLike<'props, element> => component<'props> = "%identity"
+  @module("react/jsx-runtime")
+  external jsx: (component<'props>, 'props) => element = "jsx"
+}
+
+module Level2 = {
+  @react.component
+  let make = (~someProp: float) => {
+    React.null
+  }
+}
+
+module Level1 = {
+  @react.component
+  let make = (~someProp: array<int>) => {
+    <Level2 someProp />
+  }
+}