Fix issue where an empty record literal {} expected to have a non-record type would type check

Fixes #5728

Author: cristianoc

CHANGELOG.md

@@ -31,6 +31,7 @@
 - Fix printing of comments inside JSX tag https://github.com/rescript-lang/syntax/pull/664
 - Fix issue where formatter erases tail comments inside JSX tag https://github.com/rescript-lang/syntax/issues/663
 - Fix issue where the JSX prop has type annotation of the first class module https://github.com/rescript-lang/syntax/pull/666
+- Fix issue where an empty record literal {} expected to have a non-record type would type check
 
 #### :eyeglasses: Spec Compliance
 

jscomp/main/builtin_cmi_datasets.ml

@@ -2148,7 +2148,7 @@ and type_expect_ ?in_function ?(recarg=Rejected) env sexp ty_expected =
               raise(Error(loc, env, Labels_missing labels_missing));
             [||], representation
         | [], _ ->
-          if fields = [] then
+          if fields = [] && repr_opt <> None then
             [||], Record_optional_labels []
           else
             raise(Error(loc, env, Empty_record_literal)) in