bors ee5cb9e3a6 Auto merge of #114915 - nnethercote:Nonterminal-cleanups, r=petrochenkov ...

`Nonterminal`-related cleanups

In #114647 I am trying to remove `Nonterminal`. It has a number of preliminary cleanups that are worth merging even if #114647 doesn't merge, so let's do them in this PR.

r? `@petrochenkov`

2023-08-18 16:07:40 +00:00

..

src

Auto merge of #114915 - nnethercote:Nonterminal-cleanups, r=petrochenkov

2023-08-18 16:07:40 +00:00

Cargo.toml

Remove a bool for color in favor of the WriteColor trait wrapping colored and uncolored printing

2023-07-31 09:34:36 +00:00

messages.ftl

…