fn remove_instantiated_params( self_ty: &Type, old_impl_params: Option<GenericParamList>, old_trait_args: &FxHashSet<String>, ) -> Option<GenericParamList>