type alias resolve error

[zhfnjust]

struct St1 {
  int x;
}

type St1Array = St1[2];

type St1Arraya = St1Array[3];

library CLib {
  static const int M = 3;
  static const int N = 2;
  static const int A = 3;
}

contract CTC {

    St1 st1;
    St1[2] a;
    St1Arraya b;
    int[3] c;

  public function unlock(St1 st1, St1[2] a, St1[2][3] b,  int[3] c) {
    auto aaa = 1;
    // require([1,2,3] == st1.x);

    // require([{[1,2,3]}, {[2,2,1]}] == a);
    require(true);
  }
}

It's the asm of the property St1Arraya b whose type is St1[3][2], not the unlocking parameter St1[2][3] b.