path: root/test/files/run/t4025.scala

import scala.tools.nsc.Settings
import scala.tools.partest.ReplTest

object Test extends ReplTest {
  def code = """
class Color(val red: Int)

case class Red(r:Int) extends Color(r)

def f(c: Any) = c match { case Red(_) => () }
"""
}