91c08288c4
Fix typo in error message Also tweaked the message a bit by - removing the hyphen, because in my opinion the hyphen makes the message a bit harder to read, especially combined with the backticks; - adding the word "be", because I think it's a bit clearer that way.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.