diff --git a/src/doc/rustc-dev-guide/src/solve/trait-solving.md b/src/doc/rustc-dev-guide/src/solve/trait-solving.md
index 893066d86271..b0cd9af6c478 100644
--- a/src/doc/rustc-dev-guide/src/solve/trait-solving.md
+++ b/src/doc/rustc-dev-guide/src/solve/trait-solving.md
@@ -98,7 +98,7 @@ is special behavior for `'static`.
 
 We also have to be careful with relying on equality of regions in the trait solver.
 This is fine for codegen, as we treat all erased regions are equal. We can however
-loose equality information from HIR to MIR typeck.
+lose equality information from HIR to MIR typeck.
 
 ### 7. Removing ambiguity makes strictly more things compile