{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            pos + Pos::from_usize('“'.len_utf8() + s.len() + '”'.len_utf8()),
        Some(TokenSubstitution::DirectedQuotes {