Why doesn't the struct update syntax work on non-exhaustive structs?

user_13736010 0
Viewed 1165

In the struct update syntax, the "spreaded" struct must be the same type as the resulting struct. So the spreaded struct has to contain all fields already.

What, then, is left that is not "exhausted"? Why is the struct update syntax not allowed for non-exhaustive struct?

use some_crate::NonExhaustiveStruct;

let a = NonExhaustiveStruct::default();

let b = {
    some_field: true,
    ..a //Why doesn't this work?
};
rust
1 Answers

This is currently an explicitly unsupported edge case: https://rust-lang.github.io/rfcs/2008-non-exhaustive.html#functional-record-updates. Within the same crate struct spread update syntax is allowed on non-exhausive structs but it is not allowed when the struct is defined in a separate crate.

The reasoning for this is that a private field could be added in future, and code outside the crate can't do spread updates of structs with private fields.

user_19371980
Related