f2e59cc6aa
Centralize and clean type error reporting Refactors the code that handles type errors to be cleaner and fixes various edge cases. This made the already-bad "type mismatch resolving" error message somewhat uglier. I want to fix that in another commit before this PR is merged. Fixes #31173 r? @jonathandturner, cc @nikomatsakis |
||
|---|---|---|
| .. | ||
| Cargo.toml | ||
| check_match.rs | ||
| diagnostics.rs | ||
| eval.rs | ||
| lib.rs | ||