Add a test for type variables bounded by intersection types

MOE_MIGRATED_REVID=137550006
diff --git a/javatests/com/google/turbine/lower/LowerIntegrationTest.java b/javatests/com/google/turbine/lower/LowerIntegrationTest.java
index a17ca92..25570b4 100644
--- a/javatests/com/google/turbine/lower/LowerIntegrationTest.java
+++ b/javatests/com/google/turbine/lower/LowerIntegrationTest.java
@@ -242,6 +242,7 @@
       "visible_qualified.test",
       "ascii_sub.test",
       "bytecode_boolean_const.test",
+      "tyvar_bound.test",
     };
     List<Object[]> tests =
         ImmutableList.copyOf(testCases).stream().map(x -> new Object[] {x}).collect(toList());
diff --git a/javatests/com/google/turbine/lower/testdata/tyvar_bound.test b/javatests/com/google/turbine/lower/testdata/tyvar_bound.test
new file mode 100644
index 0000000..ea30157
--- /dev/null
+++ b/javatests/com/google/turbine/lower/testdata/tyvar_bound.test
@@ -0,0 +1,9 @@
+=== Test.java ===
+import java.io.Serializable;
+import java.util.List;
+import java.util.ArrayList;
+class Test<T extends Serializable & List> {
+  <X extends ArrayList & Serializable & List> X f() {
+    return null;
+  }
+}