{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"rhs_ty:"}]}
        rhs_ty: Ty<'tcx>,
        rhs_expr: &'tcx hir::Expr<'tcx>,
        can_satisfy: impl FnOnce(Ty<'tcx>, Ty<'tcx>) -> bool,