Function write_generic_args 

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