Function walk_where_predicate 

pub fn walk_where_predicate<V: Visitor>(
    vis: &mut V,
    predicate: &WhereBoundPredicate,
)