commit fa7fa54ad79c1bfdae38e9178c575537177fc10a
author Ian Zerny <zerny@google.com> Tue Nov 07 11:14:42 2023 +0100
committer Ian Zerny <zerny@google.com> Tue Nov 07 11:14:42 2023 +0100
tree 862986c7d1744f6ff5c66b51fb5bbc11d3c7dbd0
parent 2c8b0516198e683c17bd9de1f415c6ad018430b4

Fix errorprone error for build

Change-Id: I87b3ac8c81725bf40770e2bfdd58a63494fd58fc

src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/humanspecification/HumanRewritingFlags.java

diff --git a/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/humanspecification/HumanRewritingFlags.java b/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/humanspecification/HumanRewritingFlags.java
index d35b931..e4db485 100644
--- a/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/humanspecification/HumanRewritingFlags.java
+++ b/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/humanspecification/HumanRewritingFlags.java
@@ -140,7 +140,7 @@
     }
 
     public HumanEmulatedInterfaceDescriptor merge(HumanEmulatedInterfaceDescriptor other) {
-      if (rewrittenType != other.getRewrittenType()) {
+      if (!rewrittenType.isIdenticalTo(other.getRewrittenType())) {
         throw new UnsupportedOperationException(
             "Emulated interface descriptor can only be merged on the same rewritten type.");
       }