check_match: fix handling of privately uninhabited types
the match-checking code used to use TyErr for signaling "unknown, inhabited" types for a long time. It had been switched to using the exact type in #38069, to handle uninhabited types. However, in #39980, we discovered that we still needed the "unknown inhabited" logic, but I used `()` instead of `TyErr` to handle that. Revert to using `TyErr` to fix that problem.
Showing
src/test/run-pass/issue-46964.rs
0 → 100644
想要评论请 注册 或 登录