1 files changed, 143 insertions, 0 deletions
diff --git a/test/files/run/t6731.scala b/test/files/run/t6731.scala
new file mode 100644
index 0000000000..89d212e91e
--- /dev/null
+++ b/test/files/run/t6731.scala
@@ -0,0 +1,143 @@
+import scala.language.dynamics
+import scala.reflect.{ ClassTag, classTag }
+
+object Util {
+  def show[T](x: T): T = { println(x) ; x }
+  def mkArgs(xs: Any*) = xs map { case ((k, v)) => k + "=" + v ; case x => "" + x } mkString ("(", ", ", ")")
+}
+import Util._
+
+abstract class MonoDynamic extends Dynamic {
+  def selectDynamic(name: String): String                           = show(this + "." + name)
+  def applyDynamic(name: String)(args: Any*): String                = show(this + "." + name + mkArgs(args: _*))
+  def applyDynamicNamed(name: String)(args: (String, Any)*): String = show(this + "." + name + mkArgs(args: _*))
+
+  override def toString = this.getClass.getName split '.' last
+}
+
+object Mono extends MonoDynamic {
+  def f(s: String): String = s
+
+  def f1 = this.bar()
+  def f2 = this.bar
+  def f3 = f(this.bar())
+  def f4 = f(this.bar)
+  def f5 = f(f(f(f(f(f(this.bar)))))) + f(f(f(f(f(f(this.baz))))))
+  def f6 = f(f(f(f(f(f(this.bar(bippy = 1, boppy = 2))))))) + f(f(f(f(f(f(this.baz))))))
+}
+
+object Poly extends Dynamic {
+  def selectDynamic[T: ClassTag](name: String): String = show(s"$this.$name[${classTag[T]}]")
+  def applyDynamic[T: ClassTag](name: String)(args: Any*): String = show(args.mkString(s"$this.$name[${classTag[T]}](", ", ", ")"))
+
+  def f(s: String): String = s
+
+  def f1 = this.bar
+  def f2 = this.bar[Int]
+  def f3 = this.bar()
+  def f4 = this.bar[Int]()
+  def f5 = this.bar[Int](1, 2, 3)
+
+  def f6 = f(f(this.bar))
+  def f7 = f(f(this.bar[Int]))
+  def f8 = f(f(this.bar()))
+  def f9 = f(f(this.bar[Int]()))
+  def f10 = f(f(this.bar[Int](1, 2, 3)))
+
+  override def toString = "Poly"
+}
+
+object Updating extends Dynamic {
+  def selectDynamic(name: String): String = show(s"$this.$name")
+  def updateDynamic(name: String)(value: Any): String = show(s"$this.$name = $value")
+
+  def f1 = this.bar
+  def f2 = this.bar = "b"
+
+  override def toString = "Updating"
+}
+
+object Nest1 extends Dynamic {
+  def applyDynamic(name: String)(args: Any*): Nest2.type = Nest2
+
+  object Nest2 extends Dynamic {
+    def applyDynamicNamed(name: String)(args: (String, Any)*): Nest3.type = Nest3
+
+    object Nest3 extends MonoDynamic {
+
+    }
+  }
+
+  def f1 = Nest1.bip().bop(foo = "bar").bippy(1, 2, 3)
+  def f2 = Nest1.bip("abc").bop(foo = 5).bippy
+}
+
+object Named extends Dynamic {
+  def applyDynamic(name: String)(args: Any*): Named.type = {
+    show(this + "." + name + mkArgs(args: _*))
+    this
+  }
+  def applyDynamicNamed(name: String)(args: (String, Any)*): Named.type = {
+    show(this + "." + name + mkArgs(args: _*))
+    this
+  }
+
+  def f1 = this.bippy(a = 1, b = 2).boppy(c = 3, d = 4)()()(e = 5, f = 6)
+  override def toString = "Named"
+}
+
+object Named2 extends Dynamic {
+  def applyDynamic(name: String)(a: Any)(b: Any = "b", c: Any = "c"): Named2.type = {
+    show(this + "." + name + mkArgs(a) + mkArgs(b, c))
+    this
+  }
+  def applyDynamicNamed(name: String)(a: (String, Any))(b: (String, Any), c: (String, Any)): Named2.type = {
+    show(this + "." + name + mkArgs(a) + mkArgs(b, c))
+    this
+  }
+
+  def f1 = this.bippy(1)(b = "q0")
+  def f2 = this.bippy(1)("q0")
+  def f3 = this.bippy(1)(c = "q0")
+  def f4 = this.bippy(1)("q0")
+  def f5 = this.bippy(1)(c = "b", b = "c")
+  def f6 = this.bippy(1)("b", "c")
+  def f7 = this.bippy(1)(b = "q0").bippy(2)()
+  def f8 = this.bippy(1)("q0").bippy(5)(c = "c").dingus(100)(c = "dong")
+  def f9 = this.bippy(1)(b = "q0", c = "q1").hello(100)("!!", "!!")
+
+  override def toString = "Named2"
+}
+
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    {
+      import Mono._
+      f1 ; f2 ; f3 ; f4 ; f5
+      f6
+    }
+    {
+      import Poly._
+      f1 ; f2 ; f3 ; f4 ; f5
+      f6 ; f7 ; f8 ; f9 ; f10
+    }
+    {
+      import Updating._
+      f1 ; f2
+    }
+    {
+      import Nest1._
+      f1 ; f2
+    }
+    {
+      import Named._
+      f1
+    }
+    {
+      import Named2._
+      f1 ; f2 ; f3 ; f4 ; f5
+      f6 ; f7 ; f8 ; f9
+    }
+  }
+}