52fa076196b986c41897259b783cb4d1b2bdd5f3.scala

import Map
package i0
abstract class i1 {
def i2: Map { type i3 }] = null
assert
trait i1 {
type i2 <: i3
class i3 {
def i4: i2
}
def i5: List[i0] = new { type i4 = String }
}
type i8 = i3 & i10 @ _;
}
}