Auto merge of #118635 - nnethercote:fewer-early-errors, r=davidtwco

Fewer early errors

r? `@davidtwco`
This commit is contained in:
bors 2023-12-07 11:57:14 +00:00
commit 9a92bc6d58

Diff content is not available