diff --git a/src/attributes/type_system.md b/src/attributes/type_system.md
index 7f08557ca..f378c4d1d 100644
--- a/src/attributes/type_system.md
+++ b/src/attributes/type_system.md
@@ -127,7 +127,7 @@ match message {
 }
 ```
 
-It's also impossible to cast non-exhaustive types from foreign crates.
+It's also not allowed to cast non-exhaustive types from foreign crates.
 ```rust, ignore
 use othercrate::NonExhaustiveEnum;