fn generic_param_associated_bounds( make: &SyntaxFactory, adt: &Adt, trait_: &Type, generic_params: &GenericParamList, ) -> Option<WhereClause>