Auto merge of #114915 - nnethercote:Nonterminal-cleanups, r=petrochenkov · rust-lang/miri@4927f9b · GitHub

Commit

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

Browse files

`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`

Loading branch information

bors committed Aug 18, 2023

2 parents 1470b0d + 7a92f57 commit 4927f9b