let fac n.
  n + 1
  return n

@expect_diagnostic 2010
@:Int fac "foo"
@:Int fac 1