Closed
Description
The documentation for Option unwrap (and possibly others) is currently wrong. It does not always move the value, since the value may be implicitly copyable. This needs to be mentioned in the docs, or the types that have unwrap
methods should be annotated to make them not implicitly copyable (see #9098).