blob: 6a2e47194dc5a840f453dac2dfa5d6ce2bef4919 (
plain) (
tree)
|
|
/** Test that the inliner is not inferring that `xs' is
* always Nil, removing the call to isEmpty.
*/
object Test extends dotty.runtime.LegacyApp {
@annotation.tailrec
def walk(xs: MyList): Unit = {
if (xs.isEmpty)
println("empty")
else {
println("non-empty")
walk(MyNil)
}
}
walk(new MyList)
}
class MyList {
def isEmpty = false
}
object MyNil extends MyList {
override def isEmpty = true
}
|