Switch from using //~ERROR annotations with --error-format to error-pattern#119184
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 4, 2024
//~ERROR annotations with --error-format to error-pattern#119184