u: type == std::array<i32, 2>;
t: @struct type = {
  this: std::integral_constant<u, :u = (17, 29)>;
}
main: () = {
  assert<Testing>( t::value[0] == 17 );
  assert<Testing>( t::value[1] == 29 );
}