path: root/compiler/tests/verifier/typedef_array.good

count len = 1+1;
alias count alen = 1+1;

typedef a = int#[0];
typedef b = int#[len];
typedef c = int#[alen];
typedef d = int#[1+2+3];