Fix a similar bug in TypeTestsCasts

I manually inspected all calls to loBound/hiBound and found another place in
the compiler where they are use during a traversal. The added test case fails
on master with a SO, just like #8905.

Author: OlivierBlanvillain

compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala

@@ -81,6 +81,8 @@ object TypeTestsCasts {
     /** Approximate type parameters depending on variance */
     def stripTypeParam(tp: Type)(implicit ctx: Context) = new ApproximatingTypeMap {
       def apply(tp: Type): Type = tp match {
+        case _: MatchType =>
+          tp // break cycles
         case tp: TypeRef if isBounds(tp.underlying) =>
           val lo = apply(tp.info.loBound)
           val hi = apply(tp.info.hiBound)

tests/pos/8905-2.scala

@@ -0,0 +1,3 @@
+class Test[T1 <: Tuple, T2 <: Tuple] {
+  def test6[Y <: Int, X <: Function1[Tuple.Concat[T1, T2], Unit]](x: X) = x.isInstanceOf[Function1[Int, Any]]
+}