Default for a subset of fields

I think the compiler should check, when doing an impl PartialUnpack, that every field in FooParams has a field in Foo with the same name and the same type, and that that field is accessible from the module that does the impl.

1 Like

Obligatory reference to this proposal that I'm still hoping we do:

which would allow

let x = MyStruct { mandatory_field: 1, .. };