struct NonExhaustive
pub struct NonExhaustive :: [OnType, OnInterface]
Conforms to OnType, OnInterface.
Marks an enum or a sealed interface that may grow.
A match over it outside its package needs a _ arm, so a new variant or conformer breaks
nobody there.