From 0c02acdb6f48f03907a02ea8e537c3272b4fde9f Mon Sep 17 00:00:00 2001 From: Soroush Zare Date: Tue, 10 May 2022 17:15:31 +0430 Subject: [PATCH] Update overview.md (#1351) Fix minor typo --- src/overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/overview.md b/src/overview.md index e7ea11e37fff8..a3c2258e88973 100644 --- a/src/overview.md +++ b/src/overview.md @@ -94,7 +94,7 @@ of pairing up an impl with each reference to a trait), and [*type checking*]. Type checking is the process of converting the types found in the HIR ([`hir::Ty`]), which represent what the user wrote, into the internal representation used by the compiler ([`Ty<'tcx>`]). -That information is usedto verify the type safety, correctness and +That information is used to verify the type safety, correctness and coherence of the types used in the program. ### MIR lowering