test/files/run/t6541-option.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

import scala.tools.partest.ReplTest

object Test extends ReplTest {
  def code = """
:setting -Xsource:2.12
case class C12(clazz: Class[_])
val o: Option[Class[T] forSome { type T}] = C12.unapply(C12(classOf[String]))

:setting -Xsource:2.11
import scala.language.existentials
case class C11(clazz: Class[_])
val o: Option[Class[T]] forSome { type T } = C11.unapply(C11(classOf[String]))
  """

  override def show() = {
    val r = eval().mkString("\n")
    assert(!(r.contains("warning") || r.contains("error")), r)
  }
}