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