Remove various has_errors or err_count uses#120342
Merged
bors merged 6 commits intorust-lang:masterfrom Jan 30, 2024
Merged
Commits
Commits on Jan 25, 2024
- committed
- committed
- committed
- committed
- committed
- committed