Ctor default-getters unique name and are typed in constructor context

1 files changed, 26 insertions, 0 deletions

diff --git a/test/files/run/t5543.scala b/test/files/run/t5543.scala
new file mode 100644
index 0000000000..9d9c645d7a
--- /dev/null
+++ b/test/files/run/t5543.scala
@@ -0,0 +1,26 @@
+
+object Test extends Function0[Int] {
+  // this and v resolve to Test.this, Test.v not A.this, A.v
+  class A(x: Function0[Int] = this)(val a: Int = v, val b: Int = v * x()) extends Function0[Int] {
+    val v = 3
+    override def toString = x.toString +", "+ a +", "+ b
+    // ordinary instance scope
+    def m(i: Int = v, y: Function0[Int] = this) = "m, "+ i +", "+ y()
+    def apply() = 19
+  }
+  object A {
+    val v = 5
+    // should happily coexist with default getters
+    def init(x: Function0[Int] = Test.this)(a: Int = v, b: Int = v * x()) = x.toString +", "+ a +", "+ b
+    override def toString = "A"
+  }
+  val v = 7
+  def apply() = 17
+  override def toString = "Test"
+  def main(args: Array[String]) {
+    val sut = new A()()
+    println(sut.toString)
+    println(sut.m())
+    println(A.init()())
+  }
+}