A type error occurs when a Struct containing an array is used as an on-chain variable

[Comdex]

This is a test after applying the #567 update：

class MyStruct extends Struct({ a: Field }) {}

class MyStructB extends Struct({
  a: Circuit.array(Field, 5),
}) {}

export class TestZkapp extends SmartContract {
  @state(MyStruct) myStruct = State<MyStruct>(); // work
  @state(MyStructB) myStructB = State<MyStructB>(); // type mismatch error
}

[mitschabaude]

Thanks! The issue makes sense to me - the type error occurs when the state is not guaranteed to consist only of field elements, and Circuit.array doesn't currently return a type which distinguishes this case (in contrast to Struct itself)