Update overview.md (#1351)

Fix minor typo
This commit is contained in:
Soroush Zare 2022-05-10 17:15:31 +04:30 committed by GitHub
parent 425fa202c8
commit 0c02acdb6f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -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 checking*]. Type checking is the process of converting the types found in the HIR
([`hir::Ty`]), which represent what the user wrote, ([`hir::Ty`]), which represent what the user wrote,
into the internal representation used by the compiler ([`Ty<'tcx>`]). 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. coherence of the types used in the program.
### MIR lowering ### MIR lowering