2 files changed, 16 insertions, 0 deletions
diff --git a/test/disabled/continuations-neg/infer0.check b/test/disabled/continuations-neg/infer0.check
new file mode 100644
index 0000000000..1dd072ef09
--- /dev/null
+++ b/test/disabled/continuations-neg/infer0.check
@@ -0,0 +1,4 @@
+infer0.scala:11: error: cannot cps-transform expression 8: type arguments [Int(8),String,Int] do not conform to method shiftUnit's type parameter bounds [A,B,C >: B]
+    test(8)
+         ^
+one error found
diff --git a/test/disabled/continuations-neg/infer0.scala b/test/disabled/continuations-neg/infer0.scala
new file mode 100644
index 0000000000..6d97d7504d
--- /dev/null
+++ b/test/disabled/continuations-neg/infer0.scala
@@ -0,0 +1,12 @@
+// $Id$
+
+import scala.util.continuations._
+
+
+object Test {
+  def test(x: => Int @cpsParam[String,Int]) = 7
+
+  def main(args: Array[String]) {
+    test(8)
+  }
+}