Check that idents don't assume magic.

In TreeChecker, make sure that every identifier has a type with an elidable prefix.
This excludes identifiers pointing to members of random prefixes without making the
prefix explicit in the tree as part of a Select node.

1 files changed, 5 insertions, 1 deletions

diff --git a/tests/pos/t1131.scala b/tests/pos/t1131.scala
index 1b2a90457..740a36bdb 100644
--- a/tests/pos/t1131.scala
+++ b/tests/pos/t1131.scala
@@ -1,4 +1,8 @@
-trait A { self: Any { def p: Any } =>
+trait C {
+  def p: Any
+}
+
+trait A { self: C { def p: String } =>
   def f(b: => Unit): Unit = {}
   f { p }
 }