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	Add rustc_fluent_macro to decouple fluent from rustc_macros	2023-04-18 18:56:22 +00:00
messages.ftl	Fix bad suggestion when wrong parentheses around a dyn trait	2023-08-16 00:26:10 +08:00