From e6b2a504147dda8d3b224e82209619e1b4845cbf Mon Sep 17 00:00:00 2001
From: mckzm <134839822+mckzm@users.noreply.github.com>
Date: Sat, 1 Jun 2024 19:50:02 +0900
Subject: [PATCH] Add precision on the destructuring of foreign non_exhaustive
 structs

Foreign non_exhaustive structs can be destructured, provided `..` wildcard syntax is used.
---
 README.md | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 5a8cc8b..f1d213f 100644
--- a/README.md
+++ b/README.md
@@ -627,8 +627,15 @@ The variants of `enum`s all have the same visibility as the `enum` itself.
 
 The section should mention [`non_exhaustive`.](https://doc.rust-lang.org/reference/attributes/type_system.html#the-non_exhaustive-attribute)
 
-You can't destructure or use [struct update syntax](https://doc.rust-lang.org/reference/expressions/struct-expr.html#functional-update-syntax)
-with types that have fields you can't name or foreign types that are `non_exhaustive`.
+You can't use [struct update syntax](https://doc.rust-lang.org/reference/expressions/struct-expr.html#functional-update-syntax) with types that have fields you can't name or foreign types that are `non_exhaustive`, and you can only destructure a foreign `non_exhaustive` struct using the `..` wildcard:
+
+```rust
+// with bar::Bar being a foreign `non_exhaustive` struct with a single field `x`
+let b = bar::Bar::new(5);
+//let bar::Bar { x } = b; // no wildcard: won't work
+let bar::Bar { x, ..  } = b;
+println!("{x}");
+```
 
 Hmm, do they cover SUS anywhere?  I don't think they do.  The general idea is that here:
 ```rust