box patterns behind a feature gate.
A recent RFC (https://github.com/rust-lang/rfcs/pull/462) proposed renaming
box patterns to
deref. The discussion that followed indicates that while the language community may be in favour of some sort of renaming, there is no significant consensus around any concrete proposal, including the original one or any that emerged from the discussion.
This RFC proposes moving
box patterns behind a feature gate to postpone that discussion and decision to when it becomes more clear how
box patterns should interact with types other than
In addition, in the future
box patterns are expected to be made more general by enabling them to destructure any type that implements one of the
Deref family of traits. As such a generalisation may potentially lead to some currently valid programs being rejected due to the interaction with type inference or other language features, it is desirable that this particular feature stays feature gated until then.
A feature gate
box_patterns will be defined and all uses of the
box pattern will require said gate to be enabled.
Some currently valid Rust programs will have to opt in to another feature gate.
Pursue https://github.com/rust-lang/rfcs/pull/462 before 1.0 and stabilise
box patterns without a feature gate.
box patterns as-is without putting them behind a feature gate.