{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"typeid.push_str(\".normalized\");"}]}
        typeid.push_str(".normalized");
    if options.contains(EncodeTyOptions::NORMALIZE_INTEGERS) {
    }