diff --git a/src/attributes/type_system.md b/src/attributes/type_system.md
index d15836fb0..f378c4d1d 100644
--- a/src/attributes/type_system.md
+++ b/src/attributes/type_system.md
@@ -127,6 +127,14 @@ match message {
 }
 ```
 
+It's also not allowed to cast non-exhaustive types from foreign crates.
+```rust, ignore
+use othercrate::NonExhaustiveEnum;
+
+// Cannot cast a non-exhaustive enum outside of its defining crate.
+let _ = NonExhaustiveEnum::default() as u8;
+```
+
 Non-exhaustive types are always considered inhabited in downstream crates.
 
 [_MetaWord_]: ../attributes.md#meta-item-attribute-syntax