Function walk_requires 

pub fn walk_requires<'v, V: Visitor<'v>>(vis: &mut V, requires: &'v Requires)