{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":")"}]}
    ) -> Option<Symbol> {
        call_args: Option<Vec<Ty<'tcx>>>,
        if let ty::Adt(adt, adt_args) = rcvr_ty.kind() {