blob: 697e9e1f2d5ed3ba98d20c939172c782fe9b30f3 (
plain) (
tree)
|
|
object Bug {
abstract class FChain {
type T
def chain(constant:String) =
new FConstant[this.type](constant, this) //removing [this.type], everything compiles
}
case class FConstant[E <: FChain](constant:String, tail:E) extends FChain {
type T = tail.T
}
object FNil extends FChain {
type T = Unit
}
}
object Test {
import Bug._
println("Compiles:")
val a1 = FNil.chain("a").chain("a")
val a2 = a1.chain("a")
println("\nDoesn't compile:")
val a = FNil.chain("a").chain("a").chain("a")
}
|