diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/bug3252.flags | 1 | ||||
-rw-r--r-- | test/files/pos/bug3252.scala | 15 | ||||
-rw-r--r-- | test/files/pos/bug3430.scala | 13 | ||||
-rw-r--r-- | test/files/pos/bug3431.flags | 1 |
4 files changed, 30 insertions, 0 deletions
diff --git a/test/files/pos/bug3252.flags b/test/files/pos/bug3252.flags new file mode 100644 index 0000000000..eb4d19bcb9 --- /dev/null +++ b/test/files/pos/bug3252.flags @@ -0,0 +1 @@ +-optimise
\ No newline at end of file diff --git a/test/files/pos/bug3252.scala b/test/files/pos/bug3252.scala new file mode 100644 index 0000000000..4b8e862714 --- /dev/null +++ b/test/files/pos/bug3252.scala @@ -0,0 +1,15 @@ +class A { + def f(x : Boolean) : Thread = { + g { + x match { + case false => + B.h { } + } + } + } + + private def g[T](block : => T) = error("") +} +object B { + def h(block : => Unit) : Nothing = error("") +}
\ No newline at end of file diff --git a/test/files/pos/bug3430.scala b/test/files/pos/bug3430.scala new file mode 100644 index 0000000000..3129c6276a --- /dev/null +++ b/test/files/pos/bug3430.scala @@ -0,0 +1,13 @@ +// package com.example + +object A { + def f1(f: String => Boolean) = f("a") + + def f2(): Boolean = + f1 { s1 => + f1 { s2 => + while (true) { } + true + } + } +}
\ No newline at end of file diff --git a/test/files/pos/bug3431.flags b/test/files/pos/bug3431.flags new file mode 100644 index 0000000000..eb4d19bcb9 --- /dev/null +++ b/test/files/pos/bug3431.flags @@ -0,0 +1 @@ +-optimise
\ No newline at end of file |