pub fn walk_trait_ref<'a, V: Visitor<'a>>(
    visitor: &mut V,
    trait_ref: &'a TraitRef
)