pub fn walk_test_binder_forall<'v, V: Visitor<'v>>(
visitor: &mut V,
forall: &'v TestBinderForall<'v>,
) -> V::Resultpub fn walk_test_binder_forall<'v, V: Visitor<'v>>(
visitor: &mut V,
forall: &'v TestBinderForall<'v>,
) -> V::Result