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