I buoni pasto possono essere corrisposti quando il dipendente usufruisce dei permessi retribuiti?

Un lavoratore ha diritto ad un buono pasto per ogni giornata lavorata di almeno 6 ore. Le ferie e i permessi retribuiti giornalieri non concedono il ticket.