{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":");"}]}
                    );
                        adt.display(db, display_target)
                    let offset = TextSize::new(header_docs.len() as u32);