{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//!"}]}
//! don't treat empty types as empty. We force them to be matched with wildcards. Except if the
//! First, for soundness reasons related to the possible existence of invalid values, by default we
//! `exhaustive_patterns` feature is turned on, in which case we do treat them as empty. And also