Trunks worn over tights