Вот такой код компилируется успешно:

module M
{
  Foo(x : int, y : int, z : int = 0) : void { }
  
  Main() : void {
      def f = Foo(_, 1)
  }
}

А если сделать функцию Foo локальной, то появляется ошибка компиляции (хотя она не подсвечивается в редакторе):

module M
{
  Main() : void {
      def Foo(x : int, y : int, z : int = 0) : void { }
      def f = Foo(_, 1) // Error: wrong number of parameters in call, needed 3, got 2
  }
}

Это баг или так задумано?