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