Suggestion: final struct initializers

[Mr T.]

Hello. Got a suggestion, not even a request: exhaustive struct 
initializers.

Like this:

------------------------
struct Box {
     int x;
     int y;
}

void foo() {
     Box box = {x: 3};              // ok
     Box box = final {x: 3};        // error: y not initialized
     Box box = final {x: 3, y: 7};  // ok
}
------------------------

I'd appreciate this. What do you think?