Skip to content

Commit

Permalink
Update overview.md (rust-lang#1351)
Browse files Browse the repository at this point in the history
Fix minor typo
  • Loading branch information
ihaveint authored May 10, 2022
1 parent 425fa20 commit 0c02acd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 0c02acd

Please sign in to comment.