diff --git a/src/solve/trait-solving.md b/src/solve/trait-solving.md index 893066d8..b0cd9af6 100644 --- a/src/solve/trait-solving.md +++ b/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