path: root/test/files/neg/t7509.scala

object NMWE {
  def crash[R <: AnyRef](f: R)(implicit ev: R): Any = ???
  crash(42)
}