diff options
Diffstat (limited to 'test/files/pos/bug082.scala')
| -rw-r--r-- | test/files/pos/bug082.scala | 2 |
1 files changed, 1 insertions, 1 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) } |