typo

Author: lcnr

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