aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/t6891.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/pos/t6891.scala')
-rw-r--r--tests/untried/pos/t6891.scala26
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)
-}