{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"RigidTy::Dynamic(pred,"}]}
            RigidTy::Dynamic(pred, r, _) => {
            RigidTy::FnPtr(sig) => sig.visit(visitor),
                pred.visit(visitor)?;