1 files changed, 19 insertions, 0 deletions
diff --git a/tests/untried/neg-with-implicits/t712.scala b/tests/untried/neg-with-implicits/t712.scala
new file mode 100644
index 000000000..6f2627743
--- /dev/null
+++ b/tests/untried/neg-with-implicits/t712.scala
@@ -0,0 +1,19 @@
+trait A {
+  type Node <: NodeImpl;
+  implicit def coerce(n : NodeImpl) = n.self;
+  trait NodeImpl {
+    def self : Node;
+  }
+}
+trait B extends A {
+  type Parent <: ParentImpl;
+  implicit def coerce(p : ParentImpl) = p.self;
+  trait ParentImpl;
+  type Symbol;
+  trait SymbolImpl {
+    def scope : Int;
+  }
+  implicit def coerceSym(sym : Symbol) : SymbolImpl;
+  var s : Symbol = _;
+  val s_scope = s.scope;
+}