Update src/type-inference.md

lcnr · tshepang · tshepang · commit d1132b749411 · 2022-11-10T23:27:01.000+02:00
Co-authored-by: Tshepang Mbambo &lt;tshepang@gmail.com&gt;
diff --git a/src/type-inference.md b/src/type-inference.md
@@ -238,7 +238,7 @@ constraint process and invokes the [`lexical_region_resolve`] code. Once
 this is done, any further attempt to equate or create a subtyping
 relationship will yield an ICE.
 
-The NLL solver (actually, the MIR type-checker) invokes does things slightly
+The NLL solver (actually, the MIR type-checker) does things slightly
 differently. It uses canonical queries for trait solving which use
 [`take_and_reset_region_constraints`] at the end. This extracts all of the
 outlives constraints added during the canonical query. This is required
