diff options
Diffstat (limited to 'test/files/pos')
| -rw-r--r-- | test/files/pos/bug082.scala | 2 | ||||
| -rw-r--r-- | test/files/pos/partialfun.scala | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/test/files/pos/bug082.scala b/test/files/pos/bug082.scala index af57d3beff..e996d41ae7 100644 --- a/test/files/pos/bug082.scala +++ b/test/files/pos/bug082.scala @@ -5,7 +5,7 @@ object Main { case List() => None case List(x) => Some(x) // case x :: Nil => Some(x) - case y :: ys => min0(less, ys) match { + case y :: ys => (min0(less, ys): @unsealed) match { case Some(m) => if (less(y, m)) Some(y) else Some(m) case None => Some(y) } diff --git a/test/files/pos/partialfun.scala b/test/files/pos/partialfun.scala index 21e4d0a096..9f32a22023 100644 --- a/test/files/pos/partialfun.scala +++ b/test/files/pos/partialfun.scala @@ -5,6 +5,7 @@ object partialfun { applyPartial { case Some(xxx) => xxx + case None => throw new MatchError(None) } (None); -}
\ No newline at end of file +} |