Suppose we have the following declaration:

typedef struct { int x, y; } xy_t;

xy_t xy;

xy_t fn_xy(){
  xy_t res = {1, 2};
  return res;
}

const int N=3;
typedef int array_t[N];

array_t a;

array_t fn_a(){
  array_t res = { 1, 2, 3};
  return res;
}


The fn_xy works fine, but fn_a is not accepted, but it should.
Either this is not implemented, or the typechecker is too restrictive.