a5a825e6a3
Fix diagnostic suggests adding type `[type error]` Fixes #79040 ### Unresolved questions: <del>Why does this change output the diagnostic twice (`src/test/ui/79040.rs`)?</del> Thanks `````@oli-obk`````
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.