Disable record desugaring

Bug: b/286362240
Change-Id: I20514e2ff22b7fb767bcf255f9ee7ac58e16a9e0
diff --git a/src/main/java/com/android/tools/r8/utils/InternalOptions.java b/src/main/java/com/android/tools/r8/utils/InternalOptions.java
index 1beeb0a..8061863 100644
--- a/src/main/java/com/android/tools/r8/utils/InternalOptions.java
+++ b/src/main/java/com/android/tools/r8/utils/InternalOptions.java
@@ -524,8 +524,10 @@
     return !canUseNestBasedAccess();
   }
 
+  public boolean enableRecordDesugaring = false;
+
   public boolean shouldDesugarRecords() {
-    return desugarState.isOn() && !canUseRecords();
+    return enableRecordDesugaring && desugarState.isOn() && !canUseRecords();
   }
 
   public Set<String> extensiveLoggingFilter = getExtensiveLoggingFilter();
@@ -1683,6 +1685,7 @@
 
     public static void allowExperimentClassFileVersion(InternalOptions options) {
       options.reportedExperimentClassFileVersion.set(true);
+      options.enableRecordDesugaring = true;
     }
 
     public static int NO_LIMIT = -1;