34d778fcc0ad3dccec0fa7b83b3333868bda8251.scala

abstract class i0 {
type i1
type i2 <: i1
type i3 <: i4 {
type i2 = i3
val i5 = new i3
val i6 = new i2
val i7 = new i3
val i6 = i5 _
}