{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"label_builder.write_str(LABEL_MIDDLE2)?;"}]}
                label_builder.write_str(LABEL_MIDDLE2)?;
                label_builder.end_location_link();
                rec(sema, famous_defs, max_length, &ty, label_builder, config, display_target)?;