Support renaming fields in inline records

CHANGELOG.md

@@ -12,6 +12,10 @@
 
 # 11.0.0-rc.4 (Unreleased)
 
+#### :rocket: New Feature
+
+- Support renaming fields in inline records with `@as` attribute. [#6391](https://github.com/rescript-lang/rescript-compiler/pull/6391)
+
 # 11.0.0-rc.3
 
 #### :bug: Bug Fix

jscomp/core/bs_conditional_initial.ml

@@ -47,6 +47,7 @@ let setup_env () =
   Lambda.fld_record := Record_attributes_check.fld_record;
   Lambda.fld_record_set := Record_attributes_check.fld_record_set;
   Lambda.blk_record := Record_attributes_check.blk_record;
+  Lambda.blk_record_inlined := Record_attributes_check.blk_record_inlined;
   Matching.names_from_construct_pattern := 
     Matching_polyfill.names_from_construct_pattern;
 

jscomp/core/record_attributes_check.ml

@@ -70,6 +70,15 @@ let blk_record (fields : (label * _) array) mut record_repr =
   Lambda.Blk_record
     { fields = all_labels_info; mutable_flag = mut; record_repr }
 
+let blk_record_inlined fields name num_nonconst optional_labels ~tag ~attrs mutable_flag =
+  let fields =
+    Array.map
+      (fun ((lbl : label), _) ->
+        Ext_list.find_def lbl.lbl_attributes find_name lbl.lbl_name)
+      fields
+  in
+  Lambda.Blk_record_inlined {fields; name; num_nonconst; tag; mutable_flag; optional_labels; attrs }
+
 let check_bs_attributes_inclusion (attrs1 : Parsetree.attributes)
     (attrs2 : Parsetree.attributes) lbl_name =
   let a = Ext_list.find_def attrs1 find_name lbl_name in

jscomp/test/as_inline_record_test.res

@@ -0,0 +1,7 @@
+type user =
+  | User({
+      @as("renamed")
+      name: string,
+    })
+
+let user = User({name: "Corentin"})