/* namespace: Compile expectation: Fail */ circuit Foo { x: u32; } function main() { // no member y in Foo const a: Foo = Foo { y: 0u32 }; }