diff options
Diffstat (limited to 'test/pending/pos/t6891.scala')
-rw-r--r-- | test/pending/pos/t6891.scala | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/pending/pos/t6891.scala b/test/pending/pos/t6891.scala new file mode 100644 index 0000000000..bf79c2d293 --- /dev/null +++ b/test/pending/pos/t6891.scala @@ -0,0 +1,19 @@ +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) + () + } + } + // 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) +} |