Function walk_requires 

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