{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"\"]\".to_string(),"}]}
                            "]".to_string(),
                                .with_lo(rustc_span::BytePos(blk.span.hi().0 - 1)),
                        ),