Update src/overview.md

Co-authored-by: Noah Lev <[email protected]>

Author: spastorino

src/overview.md

@@ -70,7 +70,7 @@ we'll talk about that later.
   AST.  This involves a lot of desugaring of things like loops and `async fn`.
 - We use the HIR to do [type inference] (the process of automatic
   detection of the type of an expression), [trait solving] (the process
-  of pairing up an impl with each reference to a trait) and [type
+  of pairing up an impl with each reference to a trait), and [type
   checking] (the process of converting the types found in the HIR
   (`hir::Ty`), which represent the syntactic things that the user wrote,
   into the internal representation used by the compiler (`Ty<'tcx>`)).