diff options
Diffstat (limited to 'tests/untried/pos/t6891.scala')
-rw-r--r-- | tests/untried/pos/t6891.scala | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/tests/untried/pos/t6891.scala b/tests/untried/pos/t6891.scala deleted file mode 100644 index bed2d0d77..000000000 --- a/tests/untried/pos/t6891.scala +++ /dev/null @@ -1,26 +0,0 @@ -object O { - implicit class Foo[A](val value: String) extends AnyVal { - def bippy() = { - @annotation.tailrec def loop(x: A): Unit = loop(x) - () - } - - def boppy() = { - @annotation.tailrec def loop(x: value.type): Unit = loop(x) - () - } - - def beppy[C](c: => C) = { - () => c - @annotation.tailrec def loop(x: value.type): Unit = loop(x) - () => c - () - } - } - // uncaught exception during compilation: Types$TypeError("type mismatch; - // found : A(in method bippy$extension) - // required: A(in class Foo)") @ scala.tools.nsc.typechecker.Contexts$Context.issueCommon(Contexts.scala:396) - // error: scala.reflect.internal.Types$TypeError: type mismatch; - // found : A(in method bippy$extension) - // required: A(in class Foo) -} |