{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"output.push('[');"}]}
                output.push('[');
            } else {
                push_debuginfo_type_name(tcx, inner_type, true, output, visited);