77064b7f0a
More dupe word typos I only picked those changes (from the regex search) that I am pretty certain doesn't change meaning and is just a typo fix. Do correct me if any fix is undesirable and I can revert those. Thanks.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.