fn clean_bound_vars<'tcx>(
    bound_vars: &'tcx List<BoundVariableKind>
) -> Vec<GenericParamDef>