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;