fn analyze_generic_bounds<'a, I>(bounds: I) -> Result<Vec<String>>where
    I: IntoIterator<Item = &'a TypeParamBound>,