Function write_generic_params 

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