2 files changed, 7 insertions, 0 deletions
diff --git a/test/pending/pos/t6891.flags b/test/files/pos/t6891.flags
index fe048006aa..fe048006aa 100644
--- a/test/pending/pos/t6891.flags
+++ b/test/files/pos/t6891.flags
diff --git a/test/pending/pos/t6891.scala b/test/files/pos/t6891.scala
index bf79c2d293..bed2d0d777 100644
--- a/test/pending/pos/t6891.scala
+++ b/test/files/pos/t6891.scala
@@ -9,6 +9,13 @@ object O {
       @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)