|    |    |    |    |    [search #1] start `[T](implicit e: T)T`, searching for adaptation to pt=Ordering[Iterable[Iterable[Iterable[(Int, Int)]]]] (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    [search #1] considering math.this.Ordering.Iterable
|    |    |    |    |    solving for (T: ?T)
|    |    |    |    |    [search #2] start `[T](implicit ord: scala.math.Ordering[T])scala.math.Ordering[Iterable[T]]`, searching for adaptation to pt=scala.math.Ordering[Iterable[Iterable[(Int, Int)]]] (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    [search #2] considering math.this.Ordering.Iterable
|    |    |    |    |    solving for (T: ?T)
|    |    |    |    |    [search #3] start `[T](implicit ord: scala.math.Ordering[T])scala.math.Ordering[Iterable[T]]`, searching for adaptation to pt=scala.math.Ordering[Iterable[(Int, Int)]] (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    [search #3] considering math.this.Ordering.Iterable
|    |    |    |    |    solving for (T: ?T)
|    |    |    |    |    [search #4] start `[T](implicit ord: scala.math.Ordering[T])scala.math.Ordering[Iterable[T]]`, searching for adaptation to pt=scala.math.Ordering[(Int, Int)] (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    [search #4] considering math.this.Ordering.Tuple2
|    |    |    |    |    solving for (T1: ?T1, T2: ?T2)
|    |    |    |    |    [search #5] start `[T1, T2](implicit ord1: scala.math.Ordering[T1], implicit ord2: scala.math.Ordering[T2])scala.math.Ordering[(T1, T2)]`, searching for adaptation to pt=scala.math.Ordering[Int] (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    [search #5] considering math.this.Ordering.Int
|    |    |    |    |    [search #5] success inferred value of type scala.math.Ordering[Int] is SearchResult(math.this.Ordering.Int, )
|    |    |    |    |    [search #6] start `[T1, T2](implicit ord1: scala.math.Ordering[T1], implicit ord2: scala.math.Ordering[T2])scala.math.Ordering[(T1, T2)]`, searching for adaptation to pt=scala.math.Ordering[Int] (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    [search #6] considering math.this.Ordering.Int
|    |    |    |    |    [search #6] success inferred value of type scala.math.Ordering[Int] is SearchResult(math.this.Ordering.Int, )
|    |    |    |    |    |-- [T1, T2](implicit ord1: scala.math.Ordering[T1], implicit... : pt=scala.math.Ordering[(Int, Int)] EXPRmode (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    |    \-> scala.math.Ordering[(Int, Int)]
|    |    |    |    |    [adapt] [T1, T2](implicit ord1: scala.math.Ordering[T1], implicit... adapted to [T1, T2](implicit ord1: scala.math.Ordering[T1], implicit... based on pt scala.math.Ordering[(Int, Int)]
|    |    |    |    |    [search #4] success inferred value of type scala.math.Ordering[(Int, Int)] is SearchResult(math.this.Ordering.Tuple2[Int, Int](math.this.Ordering.Int, math.this.Ordering.Int), )
|    |    |    |    |    |-- [T](implicit ord: scala.math.Ordering[T])scala.math.Order... : pt=scala.math.Ordering[Iterable[(Int, Int)]] EXPRmode (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    |    \-> scala.math.Ordering[Iterable[(Int, Int)]]
|    |    |    |    |    [adapt] [T](implicit ord: scala.math.Ordering[T])scala.math.Order... adapted to [T](implicit ord: scala.math.Ordering[T])scala.math.Order... based on pt scala.math.Ordering[Iterable[(Int, Int)]]
|    |    |    |    |    [search #3] success inferred value of type scala.math.Ordering[Iterable[(Int, Int)]] is SearchResult(math.this.Ordering.Iterable[(Int, Int)](math.this.Ordering.Tuple2[Int, Int](math.this.Ordering.Int, math.this.Ordering.Int)), )
|    |    |    |    |    |-- [T](implicit ord: scala.math.Ordering[T])scala.math.Order... : pt=scala.math.Ordering[Iterable[Iterable[(Int, Int)]]] EXPRmode (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    |    \-> scala.math.Ordering[Iterable[Iterable[(Int, Int)]]]
|    |    |    |    |    [adapt] [T](implicit ord: scala.math.Ordering[T])scala.math.Order... adapted to [T](implicit ord: scala.math.Ordering[T])scala.math.Order... based on pt scala.math.Ordering[Iterable[Iterable[(Int, Int)]]]
|    |    |    |    |    [search #2] success inferred value of type scala.math.Ordering[Iterable[Iterable[(Int, Int)]]] is SearchResult(math.this.Ordering.Iterable[Iterable[(Int, Int)]](math.this.Ordering.Iterable[(Int, Int)](math.this.Ordering.Tuple2[Int, Int](math.this.Ordering.Int, math.this.Ordering.Int))), )
|    |    |    |    |    |-- [T](implicit ord: scala.math.Ordering[T])scala.math.Order... : pt=Ordering[Iterable[Iterable[Iterable[(Int, Int)]]]] EXPRmode (silent: value <local $anon> in $anon) implicits disabled
|    |    |    |    |    |    \-> scala.math.Ordering[Iterable[Iterable[Iterable[(Int, Int)]]]]
|    |    |    |    |    [adapt] [T](implicit ord: scala.math.Ordering[T])scala.math.Order... adapted to [T](implicit ord: scala.math.Ordering[T])scala.math.Order... based on pt Ordering[Iterable[Iterable[Iterable[(Int, Int)]]]]
|    |    |    |    |    [search #1] success inferred value of type Ordering[Iterable[Iterable[Iterable[(Int, Int)]]]] is SearchResult(math.this.Ordering.Iterable[Iterable[Iterable[(Int, Int)]]](math.this.Ordering.Iterable[Iterable[(Int, Int)]](math.this.Ordering.Iterable[(Int, Int)](math.this.Ordering.Tuple2[Int, Int](math.this.Ordering.Int, math.this.Ordering.Int)))), )
|    |    |    |    |    |-- [T](implicit e: T)T BYVALmode-EXPRmode (site: value <local $anon> in $anon)
|    |    |    |    |    |    \-> Ordering[Iterable[Iterable[Iterable[(Int, Int)]]]]
|    |    |    |    |    [adapt] [T](implicit e: T)T adapted to [T](implicit e: T)T
|    |    |    |    |    \-> Ordering[Iterable[Iterable[Iterable[(Int, Int)]]]]