From c854cc7fcc9d0f889c6235c1534133cff7360e7f Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 17 Mar 2014 18:44:39 +0100
Subject: More tests

---
 tests/pending/pos/t1071.scala | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 tests/pending/pos/t1071.scala

(limited to 'tests/pending/pos/t1071.scala')

diff --git a/tests/pending/pos/t1071.scala b/tests/pending/pos/t1071.scala
new file mode 100644
index 000000000..b241cd648
--- /dev/null
+++ b/tests/pending/pos/t1071.scala
@@ -0,0 +1,19 @@
+class C {
+  private val a = 0
+  def getA = a
+}
+
+class D(c: C) {
+  def a = c.getA
+}
+
+object Test {
+  implicit def c2d(c: C): D = new D(c)
+
+  val c = new C
+  (c: D).a // works
+  c.a // error
+}
+
+// to fix this we'd need to check accessibility in the isMatchedBy of a SelectionProto,
+// so that we can insert an implicit if this does not work. Need to check performance impact of this.
-- 
cgit v1.2.3