object m {

  val xs: List[int] = Nil;
  def f(i: int) = 0;
  val v = xs map f;

  def m() = {}
}