What happens to licenses assigned to a user when that user is deleted?

When a user is deleted, their assigned licenses become unassigned and are available for reallocation to other users.