{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"#[salsa::invoke(chalk_db::adt_datum_query)]"}]}
    #[salsa::invoke(chalk_db::adt_datum_query)]
    fn adt_datum(&self, krate: Crate, struct_id: chalk_db::AdtId) -> sync::Arc<chalk_db::AdtDatum>;