{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//!"}]}
//! First, for soundness reasons related to the possible existence of invalid values, by default we
//!
//! don't treat empty types as empty. We force them to be matched with wildcards. Except if the