``` type Foo struct { u32 a : 1; u32 b : 3; } Foo f1 = { 1, 2 } // ok Foo f2 = { .a=1, .b=2 } // gives error: duplicate initialization of field 'b' ``` Needs to be fixed in StructFieldInitChecker