{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"subpattern.hir_fmt(f)?;"}]}
                    subpattern.hir_fmt(f)?;
                    write!(f, " @ ")?;
                }