From aa6ebe938639f07dd6f5612e645f1449f37a86eb Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 5 Jan 2017 16:02:09 +0700
Subject: Implement structural type member access

New scheme for implementing structural type member access.
---
 tests/run/structural.scala | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 tests/run/structural.scala

(limited to 'tests/run/structural.scala')

diff --git a/tests/run/structural.scala b/tests/run/structural.scala
new file mode 100644
index 000000000..43f008b5f
--- /dev/null
+++ b/tests/run/structural.scala
@@ -0,0 +1,33 @@
+case class Record(elems: (String, Any)*)
+
+object Record {
+
+  implicit def projector: Projector[Record] = new Projector[Record] {
+    def get(receiver: Record, name: String): Any =
+      receiver.elems.find(_._1 == name).get._2
+  }
+
+}
+
+object Test {
+  import scala.reflect.Projector.reflectiveProjector
+  import Record.projector
+
+  def f(closeable: { def close(): Unit }) =
+    closeable.close()
+
+  type RN = Record { val name: String }
+
+  def g(r: RN) = r.name
+
+  val rr: RN = Record("name" -> "Bob", "age" -> 42).asInstanceOf[RN]
+
+  def main(args: Array[String]): Unit = {
+    f(new java.io.PrintStream("foo"))
+    assert(g(rr) == "Bob")
+
+    val s: { def concat(s: String): String } = "abc"
+    assert(s.concat("def") == "abcdef")
+  }
+}
+
-- 
cgit v1.2.3