remove check for empty record pattern match

Author: zth

jscomp/frontend/bs_ast_invariant.ml

@@ -166,9 +166,6 @@ let emit_external_warnings : iterator =
       (fun self (pat : Parsetree.pattern) ->
         match pat.ppat_desc with
         | Ppat_constant constant -> check_constant pat.ppat_loc constant
-        | Ppat_record ([], _) ->
-          Location.raise_errorf ~loc:pat.ppat_loc
-            "Empty record pattern is not supported"
         | _ -> super.pat self pat);
   }
 

jscomp/ml/typecore.ml

@@ -1273,7 +1273,6 @@ and type_pat_aux ~constrs ~labels ~no_existentials ~mode ~explode ~env
         | _            -> k None
       end
   | Ppat_record(lid_sp_list, closed) ->
-      (*assert (lid_sp_list <> []);*)
       let opath, record_ty =
         try
           let (p0, p, _, _) = extract_concrete_record !env expected_ty in