1 files changed, 14 insertions, 0 deletions
diff --git a/tests/pending/pos/i143.scala b/tests/pending/pos/i143.scala
new file mode 100644
index 000000000..8804b20ce
--- /dev/null
+++ b/tests/pending/pos/i143.scala
@@ -0,0 +1,14 @@
+package dotty.tools.dotc
+package transform
+
+import dotty.tools.dotc.core.Denotations._
+import dotty.tools.dotc.core.Symbols._
+import dotty.tools.dotc.core.Contexts._
+
+class TC5 extends AnyVal {
+  implicit val ctx: Context = ???
+
+  def candidates(mbr: SingleDenotation): Boolean = {
+    mbr.symbol.denot(ctx).exists
+  }
+}