Add test for pruning of class bound for type parameter in R8
Change-Id: I5330fd2e1f126fc6ee697ac9c118f03df0587b58
diff --git a/src/test/java/com/android/tools/r8/graph/genericsignature/FormalTypeParameterClassBoundPruneTest.java b/src/test/java/com/android/tools/r8/graph/genericsignature/FormalTypeParameterClassBoundPruneTest.java
index c6d21b8..1221f73 100644
--- a/src/test/java/com/android/tools/r8/graph/genericsignature/FormalTypeParameterClassBoundPruneTest.java
+++ b/src/test/java/com/android/tools/r8/graph/genericsignature/FormalTypeParameterClassBoundPruneTest.java
@@ -4,9 +4,14 @@
package com.android.tools.r8.graph.genericsignature;
+import static com.android.tools.r8.utils.codeinspector.Matchers.isPresent;
+import static org.hamcrest.CoreMatchers.not;
+import static org.hamcrest.MatcherAssert.assertThat;
+
import com.android.tools.r8.TestBase;
import com.android.tools.r8.TestParameters;
import com.android.tools.r8.TestParametersCollection;
+import com.android.tools.r8.shaking.ProguardKeepAttributes;
import com.android.tools.r8.utils.DescriptorUtils;
import java.lang.reflect.TypeVariable;
import org.junit.Test;
@@ -72,6 +77,28 @@
"class java.lang.Object", Interface.class.getTypeName() + "<T>");
}
+ @Test
+ public void testR8() throws Exception {
+ testForR8(parameters.getBackend())
+ .addProgramClassFileData(
+ transformer(Main.class).removeInnerClasses().transform(),
+ transformer(Super.class).removeInnerClasses().transform(),
+ transformer(Interface.class).removeInnerClasses().transform())
+ .addKeepMainRule(Main.class)
+ .addKeepClassRules(Interface.class)
+ .setMinApi(parameters.getApiLevel())
+ .addKeepAttributes(
+ ProguardKeepAttributes.SIGNATURE,
+ ProguardKeepAttributes.INNER_CLASSES,
+ ProguardKeepAttributes.ENCLOSING_METHOD)
+ .run(parameters.getRuntime(), Main.class)
+ .assertSuccessWithOutputLines(Interface.class.getTypeName() + "<T>")
+ .inspect(
+ inspector -> {
+ assertThat(inspector.clazz(Super.class), not(isPresent()));
+ });
+ }
+
public static class Super<T> {}
public interface Interface<T> {}