{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"table.db.trait_datum(table.trait_env.krate,"}]}
                            table.db.trait_datum(table.trait_env.krate, src_principal);
                        let src_principal =
                        let dst_principal =