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

module M
{
  Main() : void 
  {
    def foo[T](y : T, x = []) // Error: in argument #2 (x), needed a list[int-], got list[T]: int is not a subtype of T [simple require]
    { 
      _ = y :: x;
    }
    
    foo(1);
  }
}

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