i3876-b.check

6
{
  def f(x: scala.Int): scala.Int = x.+(x)
  f(3)
}