{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"pub"}]}
    pub known_valid_scrutinee: bool,
    /// from a union field, a pointer deref, or a reference deref (pending opsem decisions).
    pub internal_state: RustcPatCtxtState,