fn write_generic_params_or_args<'db>( def: GenericDefId, f: &mut HirFormatter<'_, 'db>, include_defaults: bool, ) -> Result