do we need one? We are processing both the bounds and the variables themselves here, so walk_generics doesn't add anything (we don't process lifetime variables yet).