blob: 2db931b99ffc883b44f9c8fc73b644223424ede9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
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")
}
|