Here is an old link

If the pairs are overlapped, they could be merged

It seems that the alingers do NOT care about the overlap and align them anyway. For tophat, it even allows negative insert input. It might not be relevant too much with RNAseq, where the read will be counted once toward the quantification. But, it will matter if one wants to detect peaks esp. display peaks on the broswer.