struct InlineTest { u32[N] x field y } def main() -> InlineTest<4>: InlineTest<4> foo = InlineTest { x: [1, 2, 3, 4], y: 1 } return foo