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