{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"s.push_str(\"u3refI\");"}]}
            s.push_str("u3refI");
            let mut s = String::new();
            s.push_str(&encode_ty(tcx, *ty0, dict, options));