{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"tls::with_opt(|opt_tcx|"}]}
    tls::with_opt(|opt_tcx| {
    write!(f, "DefId({}:{}", def_id.krate, def_id.index.index())?;
        if let Some(tcx) = opt_tcx {