pub fn visit_predicate_type<'ast, V>(v: &mut V, node: &'ast PredicateType)where
    V: Visit<'ast> + ?Sized,