048e0594728ea7cdff7497c4e90bf702f220b206.scala

class i0[@specialized i1] {
def i2[i3[_]](i4: i1 => i3[Nothing]): i2[Int] = ???
implicit def i5[i2](i6: i0[i1, i2]) = ???
implicit def i5(implicit i3: i1[Int]): String => String = {
val i6: i2 = new i0[Int] { def i7(i5: Int) = 0 }
val i1 = i2 == i2 match { case i1[i2](i3, i6) =>
def this(i6: Array[String]) = i3 _
}
}
trait i7 { type i5 }
trait i6 extends i5 { type i6 = i4 }
val i7: i3 & i1 = new i1 { type i2 = String }
val i8: String = i6
val i9: i1
final val i11: i3 = ???
implicit def i10(i11: i0[Int, Int]): Unit = {
List(1).asInstanceOf[toString])
println(new i0[Int]())
}