aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t1071.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t1071.scala')
-rw-r--r--tests/pending/pos/t1071.scala19
1 files changed, 19 insertions, 0 deletions
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.